鉴于以下交易计划,我必须确定它是否可序列化:
T1| T2
-----------------------
R(A)|
| R(A)
R(B)|
| W(B)
rollback|
| W(A)
| commit
问题的解决方案是: 由于T1读取B和T2在T1结束之前写入B,因此不可序列化。
但是,据我所知,可串行化的要求是: 在一组提交事务上的可序列化调度是一个调度,它对任何一致数据库实例的影响保证与S上的某些完整序列调度的影响相同。
由于T1只读取和中止,因此对数据库实例没有任何影响。那么解决方案是错误的,还是我错过了什么?