Quasi serializability: A Correctness Criterion for Global Concurrency Control in InterBase

In his paper, we introduce Quasi Serializability, a correctness criterion for con-currency control in heterogeneous distributed database environments. A global history is quasi serializable if it is (conflict) equivalent to a quasi serial history in which global transactions are submitted serially. Quasi serializability theory is an extension of serializability. We study the relationships between serializability and quasi serializability and the reasons quasi serializability can be used as a correctness criterion in heterogeneous distributed dalabase environments. M7e also use quasi serializability theory to give a correctness proof for an altruistic locking algorithm. Key words and phrases: heterogeneous/rederated database systems, concur-rency control in heterogeneous distributed database systems, quasi serializabil-ily