Self loop in view Сериализуемость полиграфа?

Question

У меня есть следующий график:

Transaction T1   Transaction T2   Transaction T3 

Write (A)  

         Write (B) 

Read (C) 

         Read (B) 

               Read (B) 

Вы можете заметить, что источником написания B для Read (B) в T2, T2 является itsef. Нужно ли нарисовать цикл self на T2 в полиграфе для проверки сериализации? Если да, могу ли я всегда говорить, что расписание не рассматривается сериализуемым, когда источником чтения является сама транзакция чтения, из-за цикла self в полиграфе?

Answer 1

Ответ должен быть следующим: на полиграфе существует ребро между Ti e Tj, только если Tj читает переменную, написанную Ti, но Ti и Tj должны быть разными транзакциями. Таким образом, на полиграфе никогда не возникает замкнутая петля.