引用本文:曲云尧,施伯乐.知识库系统中的一种并发控制方法.软件学报,1994,5(2):14-21
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 4323次   下载 5512 本文二维码信息
码上扫一扫!
分享到: 微信 更多
知识库系统中的一种并发控制方法
曲云尧1, 施伯乐2
1.山东矿业学院计算机系,泰安 271019;2.复旦大学计算机系,上海 210003
摘要:
本文给出了一个基于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