Рассмотрим транзакции T1, T2 и T3 и расписания S1 и S2, описывающие три транзакции, выполняющиеся одновременно, как показано ниже, где r1 (X), например, обозначает одно чтение объекта X с диска в память и w3 (Z) обозначает одну запись объекта Z обратно на диск из памяти.
T1: r1 (x);w 1 (у);c1.
T2: r2 (q);с2.
Т3: r3 (х);г3 (у);и3 (р);и3 (х);c3.
T4: w4 (q);r4 (у);W4 (у);c4.
S: r3 (x);г3 (у);и3 (р);W4 (кв);г2 (кв);и3 (х);c3;г1 (х);w 1 (у);c1;r4 (у);W4 (у);с4;c2.
В используемых обозначениях r1 (x), например, обозначает T1, считывающий объект x с диска в память;w3 (z), например, обозначает T3, обновляющий объект z и записывающий его обратно на диск из памяти, а c2, например, представляет коммит из T2.
Я хочу выяснить, является ли указанное выше расписание S конфликтно-сериализуемымили нет?
Я знаю, что могу использовать график приоритетов, чтобы понять это.Однако я не уверен, влияет ли принятие в расписании на построение графа приоритетов или нет?