DKBMS的一种并发控制法

本文旨在对分布式数据库的各种主要并发控制技术详尽分析基础上,引入相关概念,提出一个基于Datalog推理环境的分布式知识库并发控制算法。在本质上,这是一个基于锁的并发控制方法,并采用了时戳机制用于解决死锁问题。另外,这算法中引入了相关概念和相关算法,来确定加锁范围,从而提高系统的并发程度和运行效率。最后本文给出了算法的正确性证明。

A new concurrency control method for DKBMS

Distributed Knowledge Base Management System (DKBMS) is a very useful tool for processing remote knowledge and data, as well as for exploring various knowledge involving two or more science research domains.However, it is just in the way that this kind of system is being studied theoretically. On the basis of examining specifically main diverse techniques of concurrency in Distributed Database System Settings, this paper presents a new concurrency control method for DKBMS that utilizes Datalog inference mechanism and Relation concepts. In essence, this method is mainly based on 2PL and so called Timepostmark mechanism in order to solve deadlock problems. In addition, the Relation concept is introduced, and its algorithm is used to find the area locked so that the DKBMA's working efficiency can be raised. At the end of this paper, this method has been proved to guarantee correctness.