并发事务正确性的准则 可串行化_04-事务并发调度

事务并发调度中保证可串行化的准则有两个：冲突可序性和视图可恢复性。

1. 冲突可序性：如果一个并发调度中存在两个事务T1和T2，它们访问相同的数据项，且它们至少有一个是写操作，那么这两个事务的执行顺序必须保证与它们的访问顺序相同，即T1和T2的执行顺序必须满足以下四种情况中的一种：

- T1先于T2执行；
- T2先于T1执行；
- T1和T2交错执行；
- T1和T2不交错执行，但它们的执行顺序与它们的访问顺序相同。

2. 视图可恢复性：如果一个并发调度中存在两个事务T1和T2，且T2读取了T1修改的数据项，那么T2必须在T1提交之前完成。

这两个准则的目的都是保证事务的执行顺序与串行执行时的结果相同，从而保证事务并发执行的正确性。在实际应用中，数据库管理系统会根据这些准则来对事务进行调度和控制，并且提供相应的锁机制和隔离级别来保证事务的正确性。