论文部分内容阅读
将关系数据库技术与逻辑推理技术结合起来的知识库是数据库领域的研究热点，但传统的并发控制方法不能直接应用于多用户知识库环境。本文提出了适用于自底向上求值系统的ＥＲＡＴＬ方法，该方法具有两个特点：（１）基于条件事务模型，利用语义信息提供了并发度；（２）提出了封锁模式集的概念，利用编译时生成的ＥＲＡ树减小了确定封锁对象集的代价，效率优于现有的其他几种并发控制方法。该方法已采用Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体