Semantics-Based Transaction Management for Cooperative Applications

Cooperative applications require advanced transactional services that make the sharing and exchange of information as natural as possible while preserving a no tion of consistency. Conventional transaction models that were based on the ACID properties do not meet the typical requirements of cooperative applications. The COACT model [RKT+95, WK96] is designed for supporting cooperative work in interactive multi-user environments. In this paper, we utilize semanti cs-based transaction management concepts to develop a formal execution model for C OACT. We present a correctness criterion for the exchange of information between users and discus s our cooperation mechanism in the context of different semantic relations.

[1]  J Urgen,et al.  History Merging as a Mechanism for Information Exchange in Cooperative and Mobile Environments Introduction , 1996 .

[2]  Alfred Z. Spector,et al.  Synchronizing shared abstract data types , 1983 .

[3]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[4]  William E. Weihl.  The impact of recovery on concurrency control , 1989, PODS '89.

[5]  Thomas Tesch,et al.  Towards a Cooperative Transaction Model - The Cooperative Activity Model , 1995, VLDB.

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

[7]  Calton Pu,et al.  Dynamic Restructuring of Transactions , 1992, Database Transaction Models for Advanced Applications.

[8]  Ali R. Hurson,et al.  Object-oriented multidatabase systems , 1995 .

[9]  Hans-Jörg Schek,et al.  Concepts and Applications of Multilevel Transactions and Open Nested Transactions , 1992, Database Transaction Models for Advanced Applications.

[10]  Henry F. Korth,et al.  Locking Primitives in a Database System , 1983, JACM.

[11]  Krithi Ramamritham,et al.  Delegation: efficiently rewriting history , 1997, Proceedings 13th International Conference on Data Engineering.

[12]  Henry F. Korth,et al.  The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept , 1995, VLDB.

[13]  Won Kim,et al.  Modern Database Systems: The Object Model, Interoperability, and Beyond , 1995, Modern Database Systems.

[14]  Karl Aberer,et al.  Flexible Design and Efficient Implementation of a Hypermedia Document Database System by Tailoring Semantic Relationships , 1995, DS-6.

[15]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[16]  Uffe Kock Wiil,et al.  Concurrency control in collaborative hypertext systems , 1993, HYPERTEXT '93.

[17]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[18]  Panos K. Chrysanthis,et al.  Supporting semantics-based transaction processing in mobile database applications , 1995, Proceedings. 14th Symposium on Reliable Distributed Systems.

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

[20]  Clarence A. Ellis,et al.  Groupware: some issues and experiences , 1991, CACM.

[21]  Gerhard Weikum,et al.  Semantic concurrency control in object-oriented database systems , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[22]  Panos K. Chrysanthis,et al.  ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.

[23]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[24]  Gail E. Kaiser,et al.  Cooperative Transactions for Multiuser Environments , 1995, Modern Database Systems.

[25]  Thomas Tesch,et al.  Transaction support for cooperative hypermedia document author-ing: A study on requirements , 1995 .

[26]  Gail E. Kaiser,et al.  Infuse: fusing integration test management with change management , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[27]  Wolfgang Klas,et al.  History merging as a mechanism for concurrency control in cooperative environments , 1996, Proceedings RIDE '96. Sixth International Workshop on Research Issues in Data Engineering.

[28]  William E. Weihl,et al.  Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[29]  David W. Stemple,et al.  Recoverable Actions in Gutenberg , 1986, ICDCS.

[30]  P.A.C. Verkoulen,et al.  Requirements for an Advanced Database Transaction Model to Support Design for Manufacturing , 1995 .

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

[32]  O. Pihlajamaa,et al.  Usability of Some Workflow Products in an Inter-organizational Setting , 1995 .

[33]  Catriel Beeri,et al.  A concurrency control theory for nested transactions (Preliminary Report) , 1983, PODC '83.

[34]  Stanley B. Zdonik,et al.  Concurrency Control and Object-Oriented Databases , 1989, Object-Oriented Concepts, Databases, and Applications.

[35]  Stanley B. Zdonik,et al.  The impact of transaction management on object-oriented multidatabase views , 1995 .

[36]  M. Nussbaum.  Database Transaction Models for Advanced Applications , 1992 .

[37]  Gunter Schlageter,et al.  A transaction model supporting complex applications in integrated information systems , 1985, SIGMOD '85.

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