找考题网-背景图
问答题

论述题 试证明,若并发事务遵守两段锁协议,则对这些事务的并发调度是可串行化的。

【参考答案】

证明:首先以两个并发事务Tl和T2为例,存在多个并发事务的情形可以类推。根据可串行化定义可知,事务不可串行化只可能发生在下列两种情况:
(l)事务Tl写某个数据对象A,T2读或写A;
(2)事务Tl读或写某个数据对象A,T2写A。
下面称A为潜在冲突对象。
设......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)