Alternative correctness criteria for multiversion concurrency control and its applications in advanced database systems

Concurrency control protocols based on multiversions have been used in some commercial transaction processing systems in order to provide both the serializable executions of transactions and a higher degree of concurrency. In the existing protocols based on multiversions, transactions are scheduled so as to read the most recent version of each of data items for serializability. This feature sometimes causes unnecessary blockings of transactions. Thus, it is not desirable in some advanced database systems, which have additional features such as temporal constraints or security requirements. In this paper we first propose alternative correctness criteria, namely FR-serializability, for multiversion concurrency control protocols. Next, we present a new protocol for real-time secure database systems as one application area of the proposed serializability. We also present several examples to illustrate the behavior of the proposed protocol along with performance comparisons with other protocols.