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. 1.Agrawal R., and N. Gehani. Ode (Object Database and Environment): The Language and the Data Model. In Proc. o/ the A CM SIGMOD Int'l Conference on Management of Data, pages 35-45, 1989.
2. 2.Biliris A., N. Gehani, D. Lieuwen, E. Panagos, and T. Roycraft. Ode 2.0 User's Manual. AT&T Bell Laboratories, 1993.
3. 3.Biliris A., and E. Panagos. EOS: An Extensible Object Store. In this Proceedings.
4. 4.Badrinath, B. R. and K. Ramamritham. Semantics- Based Concurrency Control: Beyond Commutativity. A CM Transactions on Database Systems, Vol. 17, No. 1, March 1992, pp. 163-199.
5. 5.Beeri, C., H. J. Schek, and G. Weikum. Multilevel Transaction Management, Theoretical art or practical need?. First Int. Conference on Ektended Database technology, Venice, 1988, Springer LNCS 303.
6. 6.Bernstein P. A., V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA, 1987.
7. 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. 8.Chrysanthis P. K. and K. Ramamritham. A Formalism for Extended Transaction Models. In Proc. of the seventeenth Int'l Conference on Very Large Databases, September 1991.
9. 9.Chrysanthis, P. K. and K. Ramamritham. Synthesis of Extended Transaction Models using ACTA. A CM Transactions on Database Systems (to appear).
10. 10.Chrysanthis P. K., S. Raghuram, and K. Ramamritham. Extracting Concurrency from Objects: A Methodology In Proc. o# the A CM SIGMOD Int7 Conference on Management of Data, pages 108-117, 1991.
11. 11.Dayal U., M. Hsu, and R. Ladin. Organizing Long- Running Activities with Triggers and Transactions. In Proc. of the A CM SIGMOD lnt'l Conference on Management of Data, pages 204-214, Atlantic City, May 1990.
12. 12.Elmagarmid, A. K., editor, Database Transaction Models for Advanced Applications. Morgan Kaufmann, 1991.
13. 13.Garcia-Mofina H. and Kenneth Salem. SAGAS. In Proc. of the A CM SIGMOD Int'l Conference on Management of Data, pages 249-259, May 1987.
14. 14.Georgakopoupos, D., M. Hornick, P. Krychniak, and F. Manola, Specification and Management of Extended Transactions in a Programmable Transaction Environment. IEEE Conference on Data Engineer, ng, Feb 1994.
15. 15.Korth H. F., W. Kim, and F. Bancilhon. On Long- Duration CAD Transactions. In/ormation Sczences, 46(1-2):73-107, October-November 1988.
16. 16.Korth H. F., E. Levy, and A. Silberschatz. Compensating Transactions: A New Recovery Paradigm. In Proc. of the Sixteenth lnt'l Conference on Very Large Databases, pages 95-106, Brisbane, Austrafia, August 1990.
17. 17.Liskov B. and R. Scheifler. Guardians and Actions: Linguistic support for robust distributed programs. A CM Transactions on Programmsng Languages and Systems Vol 8, No.4, December 1983, pp 484-502.
18. 18.Moss J. E. B. Nested Transactions: An approach to reliable distributed computing. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, April 1981.
19. 19.Pu C., G. Kaiser, and N. Hutchinson. Split- Transactions for Open-Ended activities. In Proc. of the Fourteenth lnt'l Conference on Very Large Databases, pages 26-37, Los Angeles, California, September 1988.
20. 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. 21.Stroustrup, B. and M. A. Ellis. The Annotated C++ Reference Manual, Addison-Wesley, 1990.
22. 22.Wachter, H. and A. Reuter. The ConTract Model. in {12}.
23. 23.Weikum. G. Principles and Realization Strategies of Multi-Level Transaction Management. A CM TODS, 16(1):132- 180, March 1991.

Index Terms

• Information systems

  • Data management systems

    • Database design and models

    • Database management system engines

      • Database transaction processing

    • Query languages

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

• Theory of computation

  • Semantics and reasoning

    • Program constructs

  • Theory and algorithms for application domains

    • Database theory

      • Database query languages (principles)