%0 Journal Article
%T 无用操作对带约束的可串行化检验的影响
%A 刘惟一
%J -
%D 1992
%X 本文讨论“无用写”给调度的可串行化检验带来的影响,首先,我们定义了写—写、写—读、读—写和读—读约束,证明了在上述约束下,若不存在无用写,调度的可串行化检验的时间复杂性是多项式界的,进而将上述问题推广到多版本系统,得到一系列类似的有用的结论
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19920103&flag=1