知识库系统中的一种并发控制方法

被引：4

作者：

曲云尧，施伯乐

机构：

[1] 山东矿业学院计算机系，复旦大学计算机系

来源：

关键词：

知识库，并发控制，2PL;

D O I：

10.13328/j.cnki.jos.1994.02.003

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．

引用

页码：14 / 21

页数：8