ASSET: a system for supporting extended transactions

ABSTRACT

Extended transaction models in databases were motivated by the needs of complex applications such as CAD and software engineering. Transactions in such applications have diverse needs, for example, they may be long lived and they may need to cooperate. We describe ASSET, a system for supporting extended transactions. ASSET consists of a set of transaction primitives that allow users to define custom transaction semantics to match the needs of specific applications. We show how the transaction primitives can be used to specify a variety of transaction models, including nested transactions, split transactions, and sagas. Application-specific transaction models with relaxed correctness criteria, and computations involving workflows, can also be specified using the primitives. We describe the implementation of the ASSET primitives in the context of the Ode database.

REFERENCES

• 1: R. Agrawal , N. H. Gehani, ODE (Object Database and Environment): the language and the data model, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.36-45, June 1989, Portland, Oregon, United States
• 2: Biliris A., N. Gehani, D. Lieuwen, E. Panagos, and T. Roycraft. Ode 2.0 User's Manual. AT&T Bell Laboratories, 1993.
• 3: Alexandros Biliris , Euthimios Panagos, EOS: an extensible object store, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.517, May 24-27, 1994, Minneapolis, Minnesota, United States
• 4: B. R. Badrinath , Krithi Ramamritham, Semantics-based concurrency control: beyond commutativity, ACM Transactions on Database Systems (TODS), v.17 n.1, p.163-199, March 1992 [doi>10.1145/128765.128771]
• 5: Catriel Beeri , Hans-Jörg Schek , Gerhard Weikum, Multi-Level Transaction Management, Theoretical Art or Practical Need ?, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.134-154, March 14-18, 1988
• 6: Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 7: Bukhres, O., A. Elmagarmid, and E. Kuhn. Implementation of the Flex Transaction Model. Bulletzn of the IEEE Technical Committee on Data Engsneerzng, 16(2):28-32, June 1993.
• 8: Panos K. Chrysanthis , Krithi Ramamritham, A Formalism for Extended Transaction Model, Proceedings of the 17th International Conference on Very Large Data Bases, p.103-112, September 03-06, 1991
• 9: Panos K. Chrysanthis , Krithi Ramamritham, Synthesis of extended transaction models using ACTA, ACM Transactions on Database Systems (TODS), v.19 n.3, p.450-491, Sept. 1994 [doi>10.1145/185827.185843]
• 10: Panos K. Chrysanthis , S. Raghuram , Krithi Ramamritham, Extracting concurrency from objects: a methodology, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.108-117, May 29-31, 1991, Denver, Colorado, United States
• 11: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Organizing long-running activities with triggers and transactions, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.204-214, May 23-26, 1990, Atlantic City, New Jersey, United States
• 12: Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 13: Hector Garcia-Molina , Kenneth Salem, Sagas, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.249-259, May 27-29, 1987, San Francisco, California, United States
• 14: Dimitrios Georgakopoulos , Mark F. Hornick , Piotr Krychniak , Frank Manola, Specification and Management of Extended Transactions in a Programmable Transaction Environment, Proceedings of the Tenth International Conference on Data Engineering, p.462-473, February 14-18, 1994
• 15: Henry F. Korth , Won Kim , François Bancilhon, On long-duration CAD transactions, Information Sciences: an International Journal, v.46 n.1-2, p.73-107, Oct.-Nov. 1988 [doi>10.1016/0020-0255(88)90019-9]
• 16: Henry F. Korth , Eliezer levy , Abraham Silberschatz, A formal approach to recovery by compensating transactions, Proceedings of the sixteenth international conference on Very large databases, p.95-106, September 1990, Brisbane, Australia
• 17: Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983 [doi>10.1145/2166.357215]
• 18: J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 19: Calton Pu , Gail E. Kaiser , Norman C. Hutchinson, Split-Transactions for Open-Ended Activities, Proceedings of the 14th International Conference on Very Large Data Bases, p.26-37, August 29-September 01, 1988
• 20: Ramamritham, K. and P. Chrysanthis. In Search of Acceptability Criteria: Database Consistency Requirements and Transaction Correctness Properties. Dis. tributed Object Management, Ozsu,Dayal, and Valduriez Ed., Morgan Kaufrnann, 1993.
• 21: Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 22: Wachter, H. and A. Reuter. The ConTract Model. in {12}.
• 23: Gerhard Weikum, Principles and realization strategies of multilevel transaction management, ACM Transactions on Database Systems (TODS), v.16 n.1, p.132-180, March 1991 [doi>10.1145/103140.103145]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

General Terms:
Algorithms, Design, Languages