Maintaining Consistency in Multidatabase Systems: A Comprehensive Study

This paper develops a fundamental understanding of multidatabase concurrency control, which reveals the principles of multidatabase concurrency control to accommodate the two-level hierarchy of globally and locally independent transaction mallagemcnts. Local extensibility is proposed as a unifying principle in the combination of global and local transaction managements. Under this general principle, the key issues of ensuring the isolation and semantic atomicity of global transactions are addressed. Correctness criteria are formulated for various situations and recoverable global transactions arc constructed. Our discussions are conduded upon the only basic assumptions of serializability and recoverability all local database systems. The preservation of the necessary balance between the demands of global transaction management and local autonomy provide us with an enhanced theoretical understanding of the limitations of global transaction management in multidataba.se systems.

[1]  ReuterAndreas,et al.  Principles of transaction-oriented database recovery , 1983 .

[2]  Philip A. Bernstein,et al.  Concurrency Control and Recovery in Database Systems , 1987 .

[3]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[4]  Amit P. Sheth,et al.  Specifying interdatabase dependencies in a multidatabase environment , 1991, Computer.

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

[6]  Vassos Hadzilacos,et al.  A theory of reliability in database systems , 1988, JACM.

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

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

[9]  Hector Garcia-Molina,et al.  Node Autonomy In Distributed Systems , 1988, Proceedings [1988] International Symposium on Databases in Parallel and Distributed Systems.

[10]  Rajeev Rastogi,et al.  Maintaining Database Consistency in Heterogeneous Distributed DatabaseSystems , 1991 .

[11]  Yuri Breitbart,et al.  Multidatabase Interoperability , 1990, SGMD.

[12]  Özgür Ulusoy,et al.  A Transaction Model for Multidatabase Systems , 1996, Euro-Par, Vol. II.

[13]  Abraham Silberschatz,et al.  Multidatabase update issues , 1988, SIGMOD '88.

[14]  Philip A. Bernstein,et al.  Fast methods for testing quantified relational calculus assertions , 1982, SIGMOD '82.

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

[16]  Witold Litwin,et al.  Multidatabase Interoperability , 1986, Computer.

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

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

[19]  Rajeev Rastogi,et al.  Transaction Management Issues in a Failure-prone Multidatabase System Environment , 1992 .

[20]  H. Garcia-Molina,et al.  Global consistency constraints considered harmful for heterogeneous database systems , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.

[21]  Jennifer Widom,et al.  Local verification of global integrity constraints in distributed databases , 1993, SIGMOD '93.