Serializability of Nested Transactions in Multidatabases

The correctness of nested transactions for multidatabases differs from that of flat transactions in that, for nested transactions the execution order of siblings at each related site should also be consistent. In this paper we first propose a simple but powerful theory for the serializability of nested transactions in multidatabases and then a technique called Nested Tickets Method for Nested Transactions (NTNT). The NTNT technique provides correctness of nested transactions in multidatabases without violating the local autonomy of the participating DB-MSs. The algorithm is fully distributed, in other words there is no central scheduler. The correctness of the NTNT technique is proved by using the developed theory.

[1]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[2]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[3]  Alejandro P. Buchmann,et al.  A Transaction Model for Active Distributed Object Systems , 1992, Database Transaction Models for Advanced Applications.

[4]  K. Ramamritham,et al.  A Formalism for Extended Transaction Models , 1998 .

[5]  Gerhard Weikum,et al.  Principles and realization strategies of multilevel transaction management , 1991, TODS.

[6]  Peter Fankhauser,et al.  IRO-DB An Object-Oriented Approach towards Federated and Interoperable DBMS (Invited Paper) , 1994, ADBIS.

[7]  Ugur Halici,et al.  An Optimistic Locking Technique For Concurrency Control in Distributed Databases , 1991, IEEE Trans. Software Eng..

[8]  Catriel Beeri,et al.  A model for concurrency in nested transactions systems , 1989, JACM.

[9]  Hans-Jörg Schek,et al.  A multi-level transaction approach to federated DBMS transaction management , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.

[10]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[11]  Ahmed K. Elmagarmid,et al.  A Multidatabase Transaction Model for InterBase , 1990, VLDB.

[12]  Asuman Dogac,et al.  Building Interoperable Databases on Distributed Object Management Platforms , 1998 .

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

[14]  HärderTheo,et al.  Concurrency control issues in nested transactions , 1993, VLDB 1993.

[15]  Panos K. Chrysanthis,et al.  A Formalism for Extended Transaction Model , 1991, VLDB.

[16]  Ismailcem Budak Arpinar,et al.  METU interoperable database system , 1995, SGMD.

[17]  Ismailcem Budak Arpinar,et al.  METU Object-Oriented DBMS Kernel , 1995, DEXA.

[18]  Ugur Halici,et al.  Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks , 1989, IEEE Trans. Software Eng..