A Mechanism for Concurrency Control in a Coupled Knowledge Base Management System
スポンサーリンク
概要
- 論文の詳細を見る
A new concurrency control mechanism in a coupled Knowledge Base Management System is presented. The system combines a multi-users logic programming system and a Relational Database Management System. The proposed mechanism, Query-Rule Locking, is inspired by two-phase locking, but it uses the concept of`relate to' to detect and handle new conflicting problems that arise when multi-users execute Horn clause transactions that access a very large shared knowledge base concurrently. In addition, the number of objects to be locked is minimized by using the `relate-cover' concept to increase the throughput of transaction execution. This method has been proved to guarantee serializability as well as correctness.
- 一般社団法人情報処理学会の論文
- 1990-03-15
著者
-
Yang W‐p
National Chiao Tung Univ. Hsinchu Twn
-
Yang Wei-pang
Institute Of Computer And Information Science National Chiao Tung University
-
CHEN YUH-JIUN
Institute of Computer Science and Information Engineering, National Chiao Tung University
-
Chen Yuh-jiun
Institute Of Computer Science And Information Engineering National Chiao Tung University
関連論文
- Two Efficient Server-Aided RSA Secret Computation Protocols Against Active Attacks
- An Efficient Dynamic Threshold Scheme
- A Mechanism for Concurrency Control in a Coupled Knowledge Base Management System