Alternative correctness criteria for multiversion concurrency control and a locking protocol via freezing
Database Engineering and Applications Symposium, International (1997)
Aug. 24, 1997 to Aug. 27, 1997
Chanjung Park , Dept. of Comput. Sci., Sogang Univ., Seoul, South Korea
Seog Park , Dept. of Comput. Sci., Sogang Univ., Seoul, South Korea
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. 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.
concurrency control; correctness criteria; multiversion concurrency control; locking protocol; freezing; concurrency control protocols; transaction processing systems; serializable execution; timing; security constraints; F-serializability; l-serial; one-copy serializable; multilevel secure database
C. Park and S. Park, "Alternative correctness criteria for multiversion concurrency control and a locking protocol via freezing," Database Engineering and Applications Symposium, International(IDEAS), Montreal, CANADA, 1997, pp. 73.