数据库 DB-chapter_12.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * HD-ITR * 12.3 事务调度与可串行性 等价 * HD-ITR * 12.3 事务调度与可串行性 定义12.3.2 如果一个调度S能通过一系列非冲突操作的执行顺序的交换变换成调度S1, 则称S和S1冲突等价。 定义12.3.3 称调度S是冲突可串行的，如果它冲突等价于一个串行调度。 * HD-ITR * 12.3 事务调度与可串行性 一个非冲突可串行调度的例子： * HD-ITR * 12.3 事务调度与可串行性 冲突可串行性的测试方法 S是一个调度，从S构造一个有向图G=(V, E)，称为S的前趋图，其中V是顶点的集合，由S中的事务组成，E是边的集合。(Ti, Tj)?E当且仅当下面三个条件之一成立: Ti在Tj执行read(Q)之前执行write(Q)； Ti在Tj执行write(Q)之前执行read(Q)； Ti在Tj执行write(Q)之前执行write(Q)。 * HD-ITR * 12.3 事务调度与可串行性 冲突可串行性的测试方法 如果一条边(Ti, Tj)在前趋图出现，则在任何一个与S冲突等价的串行调度