Revisiting Transaction Management in Multidatabase Systems

A lot of research efforts have focused on global serializability, global atomicity, and global deadlocks in multidatabase systems. Surprisingly, however, very few transaction processing model exists that ensures global serializability, global atomicity, and freedom from global deadlocks in a uniform manner. In this paper, we examine previous transaction processing models and propose a new transaction processing model that generates globally serializable and deadlock-free schedules in failure-prone multidatabase systems. A new transaction processing model adopts rigid conflict serializability as a correctness criterion on global serializability, and follows an emulated 2PC, criteria for global commitment, and an abort-based multidatabase recovery scheme for global serializability in failure-prone multidatabase systems. In addition, a deadlock-free policy is suggested where rigid conflict serializability is enforced when each subtransaction, including redo transactions, begins its execution. To practically support a new transaction processing model, Rigid Ticket Ordering (RTO) methods are designed. The proposed transaction processing model has the following improvements: (a) it resolves abnormal direct conflicts identified in this paper, (b) it imposes no restrictions on the execution of local transactions, and (c) it relaxes the restrictions on the execution of global transactions.

[1]  Divyakant Agrawal,et al.  Locks with constrained sharing (extended abstract) , 1990, PODS '90.

[2]  Jari Veijalainen,et al.  2PC Agent method: achieving serializability in presence of failures in a heterogeneous multidatabase , 1990, Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications.

[3]  Irving L. Traiger,et al.  The Recovery Manager of the System R Database Manager , 1981, CSUR.

[4]  Jari Veijalainen,et al.  Prepare and commit certification for decentralized transaction management in rigorous heterogeneous multidatabases , 1992, [1992] Eighth International Conference on Data Engineering.

[5]  Rajeev Rastogi,et al.  Ensuring transaction atomicity in multidatabase systems , 1992, PODS.

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

[7]  Jari Veijalainen,et al.  Transaction concepts in autonomous database environments , 1989 .

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

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

[10]  Dimitrios Georgakopoulos,et al.  Multidatabase recoverability and recovery , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.

[11]  Abraham Silberschatz,et al.  An optimistic commit protocol for distributed transaction management , 1991, SIGMOD '91.

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

[13]  Amit P. Sheth,et al.  Using Tickets to Enforce the Serializability of Multidatabase Transactions , 1994, IEEE Trans. Knowl. Data Eng..

[14]  SangKeun Lee,et al.  A uniform approach to global concurrency control and recovery in multidatabase environment , 1997, CIKM '97.

[15]  Marek Rusinkiewicz,et al.  A decentralized deadlock-free concurrency control method for multidatabase transactions , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

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

[17]  Abraham Silberschatz,et al.  Overview of multidatabase transaction management , 1992, The VLDB Journal.

[18]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[19]  Gustavo Alonso,et al.  A Unified Approach to Concurrency Control and Transaction Recovery (Extended Abstract) , 1994, EDBT.

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

[21]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

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

[23]  SangKeun Lee,et al.  A new conflict relation for concurrency control and recovery in object-based databases , 1996, CIKM '96.

[24]  William E. Weihl.  Commutativity-based concurrency control for abstract data types , 1988 .

[25]  Haiyan Ye,et al.  Unified Transaction Model for Semantically Rich Operations , 1995, ICDT.

[26]  Hector Garcia-Molina,et al.  Overview of multidatabase transaction management , 2005, The VLDB Journal.

[27]  Weimin Du,et al.  Maintaining quasi serializability in multidatabase systems , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[28]  Ahmed K. Elmagarmid,et al.  A theory of global concurrency control in multidatabase systems , 1993, The VLDB Journal.

[29]  Gustavo Alonso,et al.  Unifying concurrency control and recovery of transactions , 1994, Inf. Syst..

[30]  Thomas F. Keefe,et al.  Supporting reliable and atomic transaction management in multidatabase systems , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[31]  Abraham Silberschatz,et al.  Reliable transaction management in a multidatabase system , 1990, SIGMOD '90.

[32]  Ahmed K. Elmagarmid,et al.  Global Committability in Multidatabase Systems , 1996, IEEE Trans. Knowl. Data Eng..

[33]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

[34]  Tony P. Ng.  Using histories to implement atomic objects , 1989, TOCS.

[35]  Rajeev Rastogi,et al.  Non-serializable executions in heterogeneous distributed database systems , 1991, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems.

[36]  Jean Dollimore.  A Unified Approach to Distributed Concurrency Control , 1994 .

[37]  Witold Litwin,et al.  From Database Systems to Multidatabase Systems: Why and How , 1988, BNCOD.

[38]  Jean-François Pons,et al.  Concurrency and Recovery for Typed Objects using a New Commutativity Relation , 1995, DOOD.

[39]  Rajeev Rastogi,et al.  Exploiting transaction semantics in multidatabase systems , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.