如何判断数据库的可串行化调度？

利用画优先图的方法

对于每个数据库元素，如果两个事务的冲突 *** 作同时 *** 作一个元素，则有一条有向边，如果最后有环，则不是可串行化的

以第一个为例

w1(A)w2(A) T1->T2

r1(B)w2(B) T1->T2

所以是可穿行化的

S2：

A： t1(A)w3(A) T1->T3 w3(A)w1(A) T3->T1

B： r2(B)w1(B) T2->T1w1(B) r3(B) T1->T3

C：w1(C) w2(C) T1->T2

里面有环，所以不可串行化

可串行化调度：对于事务集(t<1>,t<2>,…,t)，如果一个并发调度的结果与一个串行调度等价，则称此调度是是可串行化调度。

不可串行化调度：对于某事务集的一个并发调度结果如果与任一串行调度均不等价，则该调度是不可串行化调度。

这个是个可串行化调度，可以根据对数据库元素XYZ的 冲突访问画优先图来进行判断，如果没有环，那么就是可串行化的

第二个问 就是把串行化的调度顺序写出来,串行化调度为：

T3(R(Y))T3(W(Y))T3(R(Z))T4(R(Z))T4(W(Z))T1(R(X))T1(W(X))T1(W(Y))T2(R(X))T2(W(X))T2(R(Y))

根据这个可以基于冲突规则进行置换的，因此有

T3(R(Y))T3(W(Y))T3(R(Z))T1(R(X))T1(W(X))T1(W(Y))T2(R(X))T2(W(X))T2(R(Y))T4(R(Z))T4(W(Z))

T3(R(Y))T3(W(Y))T3(R(Z))T1(R(X))T1(W(X))T1(W(Y))T4(R(Z))T4(W(Z))T2(R(X))T2(W(X))T2(R(Y))

---