%0 Journal Article %T 知识库系统中的一种并发控制方法 %A 曲云尧? %A 施伯乐? %J 软件学报 %P 14-21 %D 1994 %X 本文给出了一个基于datalog环境的知识库并发控制算法,算法的基础是两段锁(twophaselocking),它使用了相关和覆盖的概念,减少了被锁对象的数目,从而提高了系统的效率.最后给出了算法的正确性证明. %K 知识库 %K 并发控制 %K 2pl %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19940203&flag=1