| 摘要: |
| 本文给出了一个基于DATALOG环境的知识库并发控制算法,算法的基础是两段锁(TWOPHASELOCKING),它使用了相关和覆盖的概念,减少了被锁对象的数目,从而提高了系统的效率.最后给出了算法的正确性证明. |
| 关键词: 知识库 并发控制 2PL |
| DOI: |
| 分类号: |
| 基金项目: |
|
| A MECHANISM FOR CONCURRENCY CONTROL IN KNOWLEDGEBASE MANAGEMENT SYSTEM |
|
Qu Yunyao,Shi Baile
|
| Abstract: |
| 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. |
| Key words: Knowledgebased concurrency control 2PL |