0

我在网上遇到了以下结果:
1)2PL 确保冲突可序列化(cs),从而避免不可序列化的时间表。
2)但不是 2pl 允许的每个 cs 时间表。
3)这是我发现的一个定理:如果所有事务都服从 2pl,那么所有可能的交错调度都是可序列化的。
我的问题是,如果 2pl 允许的某些交易时间表是否意味着这些交易的所有可能的交错时间表都是 cs?(这里没有指定所有交易都遵守 2pl)
我对第 2 点感到困惑 bcoz。和定理。

4

0 回答 0