Integrating Snapshot Isolation into Transactional Federation

This Paper reconsiders the Problem of transactional federations, more specifically the concurrency control issue, with particular consideration of component Systems that provide only snapshot isolation, which is the default setting in Oracle and widely used in practice. The Paper derives criteria and practical protocols for guaranteeing global serializability at the federation level. The Paper generalizes the well-known ticket method and develops novel federation-level graph testing methods to incorporate sub-serializability component Systems like Oracle. These contributions are embedded in a practical project that built a CORBA-based federated database architecture suitable for modern Internet- or Intranet-based applications such as electronie commerce. This prototype System, which includes a federated transaction manager coined Trafic (Transactional Federation of Information Systems Based on CORBA), has been fully implemented with support for Oracle and O2 as component Systems and using Orbix as federation middleware. The Paper presents Performance measurements that demonstrate the viability of the developed concurrency control methods.

[1]  Michael Stonebraker.  Are we working on the right problems? (panel) , 1998, SIGMOD '98.

[2]  Gerhard Weikum,et al.  Implementation and performance of multi-level transaction management in a multidatabase environment , 1995, Proceedings RIDE-DOM'95. Fifth International Workshop on Research Issues in Data Engineering-Distributed Object Management.

[3]  Christos H. Papadimitriou,et al.  The Theory of Database Concurrency Control , 1986 .

[4]  Patrick E. O'Neil,et al.  Generalized isolation level definitions , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

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

[6]  Michael Stonebraker,et al.  Open enterprise data integration , 1999 .

[7]  Mary Roth,et al.  From Object-Relational to Federated Databases , 1999, BTW.

[8]  Gerhard Weikum,et al.  Experiences with Building a Federated Transaction Manager based on CORBA OTS , 1999, EFIS.

[9]  Shiyong Lu,et al.  Semantic conditions for correctness at different isolation levels , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[10]  William E. Weihl,et al.  Local atomicity properties: modular concurrency control for abstract data types , 1989, TOPL.

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

[12]  Yuri Breitbart,et al.  Strong recoverability in multidatabase systems , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

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

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

[15]  Michael Stonebraker,et al.  Independent, Open Enterprise Data Integration , 1999, IEEE Data Eng. Bull..

[16]  Hans-Jörg Schek,et al.  Semantics-based multilevel transaction management in federated systems , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[17]  Jim Gray,et al.  A critique of ANSI SQL isolation levels , 1995, SIGMOD '95.

[18]  Elisa Bertino,et al.  A theoretical formulation for degrees of isolation in databases , 1997, Inf. Softw. Technol..

[19]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[20]  Gerhard Weikum,et al.  Federated Transaction Management with Snapshot Isolation , 1999, FMLDO.

[21]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[22]  Patrick Valduriez,et al.  Principles of distributed database systems (2nd ed.) , 1999 .