验证序列化/优先级图

时间:2016-04-26 13:02:09

标签: database concurrency transactions

我这里有一个时间表,目标是找出它是否可序列化。我知道,对于可序列化的计划,它需要有一个非循环序列化图/优先级图。

T1     T2     T3
R1(A)       
              R3(A)
W1(A)       
              R3(B)
       R2(B)    
       W2(B)    
R1(B)       
W1(B)       

这是我的优先图,

从图表中看,似乎有一个循环,但我想验证这一点。

图表是否正确? 谢谢!

0 个答案:

没有答案