Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Orange locking: channel-free database concurrency control via locking
Results of the Sixth Working Conference of IFIP Working Group 11.3 on Database Security on Database security, VI : status and prospects: status and prospects
A locking protocol for MLS databases providing support for long transactions
Proceedings of the ninth annual IFIP TC11 WG11.3 working conference on Database security IX : status and prospects: status and prospects
An adaptive policy for improved timeliness in secure database systems
Proceedings of the ninth annual IFIP TC11 WG11.3 working conference on Database security IX : status and prospects: status and prospects
A secure concurrency control protocol for real-time databases
Proceedings of the ninth annual IFIP TC11 WG11.3 working conference on Database security IX : status and prospects: status and prospects
Providing different degrees of recency options to transactions in multilevel secure databases
Proceedings of the ninth annual IFIP TC11 WG11.3 working conference on Database security IX : status and prospects: status and prospects
Read-only transactions in a distributed database
ACM Transactions on Database Systems (TODS)
Multiversion concurrency control—theory and algorithms
ACM Transactions on Database Systems (TODS)
Multilevel Secure Database Concurrency Control
Proceedings of the Sixth International Conference on Data Engineering
An Integrated Real-Time Locking Protocol
Proceedings of the Eighth International Conference on Data Engineering
Scheduling Real-time Transactions: a Performance Evaluation
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A multiversion locking protocol for real-time databases with multilevel security
RTCSA '96 Proceedings of the Third International Workshop on Real-Time Computing Systems Application
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
Hi-index | 0.00 |
Concurrency control protocols based on multiversions have been used in some commercial transaction processing systems in order to provide the serializable executions of transactions. In the existing protocols, transactions are allowed to read only the most recent version of each data item in order to ensure the correct execution of transactions. However, this feature is not desirable in some advanced database systems which have more requirements such as timing or security constraints besides serializability. In this paper, we propose a new correctness criteria, called F-serializability, for multiversion concurrency control protocols. It is the extended definition of 'l-serial' and relaxes the condition so that a protocol provides not only the most recent version but also the previous one to transactions, if necessary. We prove that whenever a multiversion schedule is F-serializable, the schedule is also one-copy serializable. This is the first contribution of our paper. Next, we propose a new concurrency control protocol for multilevel secure(MLS) database systems which guarantees the proposed serializability. In an MLS database system, a transaction scheduler must satisfy security constraints as well as ensure the serializable execution of transactions. Our protocol produces one-copy serializable schedules without covert channels. In addition, the proposed protocol removes the starvations of high level transactions. Our protocol is based on multiversion two phase locking (MV2PL) but a new method, namely freezing method, is additionally used in order to satisfy security requirements. Since 'F-serial' is more general than 'l-serial', our protocol can provide a higher degree of concurrency than MV2PL which is based on 'l-serial'. This is the second contribution of our paper.