可串行化 指令冲突 ■ 冲突可串行是可串行性的充分条件 T1 T2 T3 READ(A) A=A+A0.1 WRITE(A) >调度运行结果与串行调 READ(A) A:=A+10 度T1→T2→T3的运行结 WRITE(A) 果是一致的，但调度不 READ(B) 日：=8-20 是冲突可串行的 WRITE(B) READ(B) B=B+8*02 WRITE(B) WRITE(B) 新疆大学软件学院 爱，激情，进取，感恩 2025年2月24日10时24分
新疆大学 软件学院 爱，激情, 进取，感恩 2025年2月24日10时24分 ◼ 冲突可串行是可串行性的充分条件 ➢调度运行结果与串行调 度T1→T2→T3的运行结 果是一致的，但调度不 是冲突可串行的
可串行化 视图可串行化 ■视图等价 ◆对同一事务集，如果两个调度S1和S2在任何时候都保证每个事务读取相同 的值，写入数据库的最终状态也是一样的，则称调度S1和S2视图等价。 T1 T2 T1 T2 READ(A) READ(A) A:=A+A01 A:=A+10 WRITE(A) WRITE(A) READ(B) READ(B) B:=B+B02 B=B-20 WRITE(B) WRITE(B) READ(A) READ(A) A=A+10 A=A+A*0.1 WRITE(A) WRITE(A) READ(B) READ(B) B:=B.20 B:=B+B*02 WRITE(B) WRITE(B) >调度S1和调度S2不是视图等价的 >调度S1中T2事务读取的A值是事务T1修改后的值， >调度S2中T2事务读取的A值是事务T1修改前的值。 新疆大学软件学院 爱，激情，进取，感恩 2025年2月24日10时24分
新疆大学 软件学院 爱，激情, 进取，感恩 2025年2月24日10时24分 ◼ 视图等价 ◆对同一事务集，如果两个调度S1和S2在任何时候都保证每个事务读取相同 的值，写入数据库的最终状态也是一样的，则称调度S1和S2视图等价。 ➢调度S1和调度S2不是视图等价的 ➢调度S1中T2事务读取的A值是事务T1修改后的值， ➢调度S2中T2事务读取的A值是事务T1修改前的值