%0 Journal Article
%T 知识库系统中的一种并发控制方法
%A 施伯乐
%A 曲云尧
%J -
%D 1994
%X 本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明
%K 知识库 并发控制 2PL
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19940203&flag=1