Теория базы данных: сериализуемость транзакций

Question

Хи, я готовлюсь к экзаменам и наткнулся на следующий вопрос:

Возьмите История (или Расписание)

H = w1[x] w2[x] w2[y] c2 w1[y] w3[x] w3[y] c3 w1[z] c1

где w1[x] означает: транзакция 1 выполняет запись в объект данных X (r1[x] означает чтение), а c1 означает: фиксация транзакции 1.

Почему эта транзакция просмотр сериализуема ?

Для представления Сериализуемость История H должна быть эквивалентна представлению для последовательного выполнения транзакции 1,2,3.Таким образом, последние записи каждого объекта данных должны быть такими же, как при последовательном выполнении транзакции истории H. Итак, последние записи H следующие:

• Transation 3для x и y и
• Переход 1 для z

Но, при отсутствии последовательного выполнения, последние записи распределяются таким образом, поэтому History H нельзя просматривать сериализуемым образом.

Где моя ошибка?

Спасибо всем.

Answer 1

Хорошо, выяснил сам: последнее предложение, если, конечно, неправильно:

На самом деле последовательное выполнение 1,2,3 приводит к этой истории:

w1[x] w1[y] w1[z] c1   w2[x] w2[y] c2    w3[x] w3[y] c3

и фоллогинтуlast-Writes:

• транзакция 3 для x и y и
• транзакция 1 для z

, что совпадает с последними записями историиH