Transaction Models for Advanced Database Applications

Acknowledgements InterBase These tutorial notes are based on the March issue of the IEEE Data Engineering with the same title and edited by the same author. It is also based on an upcoming book with the same title due to come out later this year and published by Morgan Kauffmann. Thanks are due to Dr. Won Kim of UniSQL for enticing me to organize the special issue, which leads to the book, which in turn lead to this tutorial. Thanks are due to the authors of all those great papers covered herein. Thanks are to my good friend Dr. Amit Sheth, Bellcore, for inviting me to present this tutorial. I would also like to thank all members of the InterBase project. Finally, very special thanks go to Yungho Leu, Purdue, for his help in the preparation of these notes. A transaction is a collection of actions that make consistent transformations of system states. Formally, it is a partial order over the operations that are part of the transactions.

[1]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

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

[3]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[4]  Hans-Jörg Schek,et al.  Multi-Level Transaction Management, Theoretical Art or Practical Need ? , 1988, EDBT.

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

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

[8]  Weimin Du,et al.  Supporting Value Dependency for Nested Transactions in InterBase , 1989 .

[9]  Weimin Du,et al.  Effects of local autonomy of global concurrency control in heterogeneous distributed database systems , 1989, Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering.

[10]  Ahmed K. Elmagarmid,et al.  An Extended Transaction Model for Multidatabase Systems , 1989 .

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

[12]  Weimin Du,et al.  Global Concurrency Control in Heterogeneous Distributed Database Systems , 1990 .

[13]  Amit P. Sheth,et al.  Management of interdependent data: specifying dependency and consistency requirements , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[14]  Weimin Du,et al.  Generalized Quasi Serializability Theor y , 1990 .

[15]  Bernhard Holtkamp Flexible cooperation in non-standard application environments , 1990 .

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

[17]  Panos K. Chrysanthis,et al.  ACTA: a framework for specifying and reasoning about transaction structure and behavior , 1990, SIGMOD '90.

[18]  Ahmed K. Elmagarmid,et al.  A hierarchical approach to concurrency control for multidatabases , 1990, DPDS '90.

[19]  Stanley B. Zdonik,et al.  Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications , 1990, VLDB.

[20]  Weimin Du,et al.  Maintaining HDDBS consistence: The Quasi Serializability approach , 1990 .

[21]  Ahmed K. Elmagarmid,et al.  Extending the transaction model to capture more meaning , 1990, SGMD.

[22]  A. Elmagarmid,et al.  Maintaining Quasi Serializability in HDDBSs , 1990 .

[23]  Ahmed K. Elmagarmid,et al.  The distributed operation language for specifying multi-system applications , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[24]  Weimin Du,et al.  Preserving Data Integrity in HDDBSs Using Quasi Serializable Executions , 1990 .

[25]  Gerhard Weikum,et al.  Multi-level transactions and open nested transactions , 1991 .

[26]  Amit P. Sheth,et al.  Polytransactions for managing interdependent data , 1991 .

[27]  Umeshwar Dayal,et al.  A generalized transaction model for long-running activities and active databases , 1991 .

[28]  Amit P. Sheth,et al.  An interactive transaction model for distributed cooperative tasks , 1991 .

[29]  Ahmed K. Elmagarmid,et al.  Global Commitment in Multidatabase Systems , 1991 .

[30]  Weimin Du,et al.  Maintaining transaction consistency in multidatabases using quasi serializable executions , 1991, COMPCON Spring '91 Digest of Papers.

[31]  Ahmed K. Elmagarmid,et al.  Maintaining Consistency of Interdependent Data in Multidatabase Systems , 1991 .

[32]  Weimin Du,et al.  Integrity Aspects of Quasi Serializability , 1991, Inf. Process. Lett..

[33]  Gail E. Kaiser,et al.  Concurrency control in advanced database applications , 1991, CSUR.

[34]  Yungho Leu Composing multidatabase applications using flexible transactions , 1991 .

[35]  Clarence A. Ellis Consistency within concurrent groupware systems , 1991 .

[36]  Gunter Schlageter,et al.  A flexible and adaptable tool kit approach for transaction management in non standard database systems , 1991 .

[37]  Ahmed K. Elmagarmid,et al.  Specification and execution of transactions for advanced database applications , 1992, Inf. Syst..