Execution dependencies in transaction closures

Activities of advanced applications can be modeled by interrelated transactions. These relations can be described by different kinds of transaction dependencies. The notion of transaction closure is a generalization of nested transactions providing means to describe complex activities such as transactional workflows. In this paper our main focus lies on execution dependencies for describing certain control flows among related transactions of transaction closures. In particular we consider the transitivity property for all kinds of transaction execution dependencies and discuss their relationship to other kinds of dependencies such as transaction termination dependencies. We point out that some of these dependency combinations are incompatible. As a result we present rules for reasoning about the transitivity of execution dependencies. Thus, we are able to conclude how arbitrary transactions of a transaction closure are transitively interrelated.

[1]  Gunter Saake,et al.  Transitive dependencies in transaction closures , 1998, Proceedings. IDEAS'98. International Database Engineering and Applications Symposium (Cat. No.98EX156).

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

[3]  Abraham Silberschatz,et al.  Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems , 1996 .

[4]  ShethAmit,et al.  An overview of workflow management , 1995 .

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

[6]  Umeshwar Dayal,et al.  A Transactional Model for Long-Running Activities , 1991, VLDB.

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

[8]  Mark F. Hornick,et al.  An environment for the specification and management of extended transactions in DOMS , 1993, Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems.

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

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

[11]  Gunter Saake,et al.  Extending Transaction Closures by N-ary Termination Dependencies , 1998, ADBIS.

[12]  Gunter Saake,et al.  Analyzing and Formalizing Dependencies in Generalized Transaction Structures , 1998, IADT.

[13]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[14]  Jennifer Widom,et al.  Active Database Systems , 1995, Modern Database Systems.

[15]  Meichun Hsu,et al.  An Execution Model for Active Data Base Management Systems , 1988, JCDKB.

[16]  R. Gunthor,et al.  The Dependency Manager: a base service for transactional workflow management , 1996, Proceedings RIDE '96. Sixth International Workshop on Research Issues in Data Engineering.

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