Distributed divergence control for epsilon serializability

Epsilon serializability (ESR) allows for more concurrency by permitting nonserializable interleavings of database operations among epsilon transactions (ETs). The authors present the design of distributed divergence control (DDC) algorithms for ESR in homogeneous and heterogeneous distributed databases. They first present a strict two-phase locking DDC algorithm (S2PLDDC) and an optimistic DDC algorithm (ODDC) for homogeneous distributed databases, where the local orderings of all the sub-ETs of a distributed ET are the same, and the total inconsistency of a distributed ET is simply the sum of that of all its sub-ETs. A superdatabase DDC algorithm is described for heterogeneous distributed databases, where the local orderings of all the sub-ETs of a distributed ET may not be the same, and the total inconsistency of a distributed ET may be greater than the sum of that of all its sub-ETs. As a result, in addition to local divergence control in each site, a global mechanism is needed to guarantee ESR.<<ETX>>

[1]  Philip S. Yu,et al.  Divergence control for epsilon-serializability , 1992, [1992] Eighth International Conference on Data Engineering.

[2]  Alexander Thomasian,et al.  Token allocation in distributed systems , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[3]  Yoav Raz.  Principle of commitment ordering , 1991 .

[4]  Abraham Silberschatz,et al.  On Rigorous Transaction Scheduling , 1991, IEEE Trans. Software Eng..

[5]  Philip S. Yu,et al.  Performance analysis of dynamic finite versioning for concurrent transaction and query processing , 1992, SIGMETRICS '92/PERFORMANCE '92.

[6]  Divyakant Agrawal,et al.  Modular synchronization in multiversion databases: version control and concurrency control , 1989, SIGMOD '89.

[7]  Paul M. Bober,et al.  Multiversion Query Locking , 1992, VLDB.

[8]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[9]  Calton Pu,et al.  A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..

[10]  Weimin Du,et al.  A paradigm for concurrency control in heterogeneous distributed database systems , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[11]  Philip S. Yu,et al.  Dynamic finite versioning: an effective versioning approach to concurrent transaction and query processing , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[12]  Bruce G. Lindsay,et al.  A retrospective of R*: A distributed database management system , 1987, Proceedings of the IEEE.

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

[14]  Arvola Chan,et al.  Implementing Distributed Read-Only Transactions , 1985, IEEE Transactions on Software Engineering.

[15]  Hamid Pirahesh,et al.  Efficient and flexible methods for transient versioning of records to avoid locking by read-only transactions , 1992, SIGMOD '92.

[16]  Paul M. Bober,et al.  On mixing queries and transactions via multiversion locking , 1992, [1992] Eighth International Conference on Data Engineering.

[17]  Hector Garcia-Molina,et al.  Consistency in a partitioned network: a survey , 1985, CSUR.

[18]  Gail E. Kaiser,et al.  An object-based programming model for shared data , 1992, TOPL.

[19]  Rajeev Rastogi,et al.  The concurrency control problem in multidatabases: characteristics and solutions , 1992, SIGMOD '92.

[20]  Yoav Raz.  The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment , 1992, VLDB.

[21]  Hector Garcia-Molina,et al.  The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems , 1992, EDBT.

[22]  Calton Pu,et al.  Autonomous transaction execution with epsilon serializability , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[23]  Patrick E. O'Neil,et al.  The Escrow transactional method , 1986, TODS.

[24]  William E. Weihl.  Distributed Version Management for Read-Only Actions , 1987, IEEE Trans. Software Eng..

[25]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[26]  Amit P. Sheth,et al.  On serializability of multidatabase transactions through forced local conflicts , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

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

[28]  Calton Pu,et al.  Superdatabases for composition of heterogeneous databases , 1988, Proceedings. Fourth International Conference on Data Engineering.