论文部分内容阅读
本文旨在对分布式数据库的各种主要并发控制技术详尽分析基础上,引入相关概念,提出一个基于Datalog推理环境的分布式知识库并发控制算法。在本质上,这是一个基于锁的并发控制方法,并采用了时戳机制用于解决死锁问题。另外,这算法中引入了相关概念和相关算法,来确定加锁范围,从而提高系统的并发程度和运行效率。最后本文给出了算法的正确性证明。
Based on a detailed analysis of various major concurrency control technologies in distributed databases, this paper introduces relevant concepts and proposes a distributed knowledge base concurrency control algorithm based on Datalog reasoning environment. In essence, this is a lock-based concurrency control approach and uses a timestamp mechanism to solve the deadlock problem. In addition, the algorithm introduced the relevant concepts and related algorithms to determine the locking range, thereby enhancing the system’s concurrency and operational efficiency. Finally, this paper gives a proof of the correctness of the algorithm.