10.9冲突可串行化的判定
10.9.1 判定方法
在设计并发控制机制时，必须保证由该机制产生的调度是可串行化的。在此我们只讨论冲突可串行化的判定。