System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Consistency, concurrency, and crash recovery
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Hi-index | 0.00 |
In databases the issues of integrity, recovery, and concurrency control, although they refer to different problems, are strongly related. All of them are of fundamental importance to ensure the correctness of database systems. Although sizable literature has been published regarding these subjects for databases, no work has been reported on the similar subjects for knowledge base systems. In this paper we consider generalizing the existing techniques to deductive knowledge bases. We identify the differences between databases and knowledge bases, and define the notion of transaction for knowledge bases. Since chain effects may exist in such systems, we propose a version of lock-based concurrency control algorithm and a version of optimistic concurrency control scheme to ensure the consistence of knowledge bases. We also propose appropriate recovery schemes to reassure the reliability of knowledge bases.