Divergence control for epsilon-serializability

The authors present divergence control methods for epsilon-serializability (ESR) in centralized databases. ESR alleviates the strictness of serializability (SR) in transaction processing by allowing for limited inconsistency. The bounded inconsistency is automatically maintained by divergence control (DC) methods in a way similar to the manner in which SR is maintained by concurrency control mechanisms, but DC for ESR allows more concurrency. Concrete representative instances of divergence-control methods are described based on two-phase locking, timestamp ordering, and optimistic approaches. The applicability of ESR is demonstrated by presenting the designs of DC methods using other most known inconsistency specifications, such as absolute value, age, and total number of nonserializably read data items.<<ETX>>

[1]  John T. Robinson,et al.  Limitations of concurrency in transaction processing , 1985, TODS.

[2]  Miron Livny,et al.  Concurrency control performance modeling: alternatives and implications , 1987, TODS.

[3]  Henry F. Korth,et al.  Formal model of correctness without serializabilty , 1988, SIGMOD '88.

[4]  Ahmed K. Elmagarmid,et al.  Maintaining Consistency of Interdependent Data in Multidatabase Systems , 1991 .

[5]  Gio Wiederhold,et al.  Modeling asynchrony in distributed databases , 1987, 1987 IEEE Third International Conference on Data Engineering.

[6]  Rafael Alonso,et al.  Data caching issues in an information retrieval system , 1990, TODS.

[7]  Calton Pu,et al.  Replica control in distributed systems: as asynchronous approach , 1991, SIGMOD '91.

[8]  Philip S. Yu,et al.  Impact of large memory on the performance of optimistic concurrency control schemes , 1990, Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications.

[9]  Weimin Du,et al.  Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase , 1989, VLDB.

[10]  Hector Garcia-Molina,et al.  The case for controlled inconsistency in replicated data , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[11]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[12]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[13]  Irving L. Traiger,et al.  Granularity of Locks and Degrees of Consistency in a Shared Data Base , 1998, IFIP Working Conference on Modelling in Data Base Management Systems.

[14]  Hector Garcia-Molina,et al.  Read-only transactions in a distributed database , 1982, TODS.

[15]  Amit P. Sheth,et al.  Management of interdependent data: specifying dependency and consistency requirements , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[16]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.