Lehrgebiet Informationssysteme

FB Informatik

LG IS

AG DBIS

(C) AG DBIS

Semantic Serializability: A Correctness Criterion for Processing Transactions in Advanced Database Applications

A. Brayner, T. Härder and N. Ritter

University of Kaiserslautern
P.O. Box 3049, 67653 Kaiserslautern, Germany
e-mail: {brayner,haerder,ritter}@informatik.uni-kl.de

Postscript version of the full paper compressed by gzip

Abstract

Serializability requires that the execution of each transaction must give the illusion to be an atomic action, i.e., the execution of a set of transactions must appear to be a serial one. This requirement, however, is too strong and unnecessarily restricts concurrency among transactions, when semantic information is available for the transaction processing mechanism. In this paper, a new correctness criterion for concurrent execution of database transactions, denoted semantic serializability, is proposed. Semantic serializability is based on the use of semantic information about database objects (and not about transactions). The main idea of our proposal is to provide different atomicity views for each transaction and, for this reason, to allow interleavings among transactions which are nonserializable, but which preserve database consistency. We develop two concurrency control protocols, which are based on {\sl semantic serializability}. One protocol is based on a locking-mechanism and the other one uses a non-locking approach. Our proposal is suitable to a wide variety of advanced database applications, such as CAx, MDBS, GIS and WFMS.

Keywords

Long-living transaction; Semantic knowledge; Concurrency control; Schedule; Consistency; Serializability

In: Data & Knowledge Engineering 31:1, 1999, pp. 1-24.