【数据库】证明若并发事务遵守两段锁协议，则对这些事务的并发调度是可串行化的

DF113

证明步骤：

1.以两个并发事务情况为例证明，推导到多个事务；

2.列举出两个事务发生不可串行化时出现的情况；

3.针对2中的两种情况，证明若T1和T2遵守两段锁协议，在不发生死锁的情况下，则它们的调度是可串行化的。