摘要
本文给出了一个基于DATALOG环境的知识库并发控制算法,算法的基础是两段锁(TWOPHASELOCKING),它使用了相关和覆盖的概念,减少了被锁对象的数目,从而提高了系统的效率.最后给出了算法的正确性证明.
This paper presents a concurrency control mechanism in knowledgebase system.The mechanism is based on database concurrency control 2PL (TWO PHASE LOCKING),it uses relate cover’concept to reduce the number of objects to be locked. This method has been proved to guarantee serializability and correctness.
出处
《软件学报》
EI
CSCD
北大核心
1994年第2期14-21,共8页
Journal of Software
关键词
知识库
并发控制
专家系统
Knowledgebased,concurrency control,2PL.