无用操作对带约束的可串行化检验的影响

本文讨论“无用写”给调度的可串行化检验带来的影响,首先,我们定义了写—写、写—读、读—写和读—读约束,证明了在上述约束下,若不存在无用写,调度的可串行化检验的时间复杂性是多项式界的,进而将上述问题推广到多版本系统,得到一系列类似的有用的结论