数据库系统课件：2PL事务调度冲突可串行化证明.pdfVIP

定理:由2PL构成的任意合法调度S都是

可串行化的

证明：

1.当调度S仅由一个事务组成时，调度S是可串行

化的

2.假设：由(n1)个2PL构成的任意一个合法调

度都是可串行化的

3.设调度S涉及n个2PL事务：T,T,……,T，并且T

12ni

是调度S中第个有动作的事务，则我们可以

得到以下结论：

可以将T的所有动作不经过任何而移动到调

i

度S的最前面

1

❑设在T中有个动作w(A)(或r(A))，如果调度S在

iii

该动作的前面有一个与之的动作w(A)(ij)，

j

那么调度S的情况必是：

…;w(A);…;u(A);…;l(A);…;w(A);…

jjii

∵T是调度S中第个有动作的事务

i

∴在u(A)之前必存在T中的个动作(如u(B))，

jii

则调度S变为：…;w(A);…;u(B);…;u(A);…;

jij

l(A);…;w(A);…

ii

在上述的调度S中，仅考虑与事务T有关的动作序列

i

2

❑在上述的调度S中，仅考虑与事务T有关的动

i

作序列：…;u(B);…;l(A);…;w(A);…

iii

◼这不符合2PL事务的定义，与T是2PL事务相

i

∴在T的每个动作w(A)(或r(A))之前，都不存在

iii

与其产生且属于其它事务的动作

∴结论成立