Unified transaction model for semantically rich operations

  • Radek Vingralek
  • Haiyan Ye
  • Yuri Breitbart
  • H. -J. Schek
Contributed Papers Concurrency Control
Part of the Lecture Notes in Computer Science book series (LNCS, volume 893)

Abstract

We present here a unified transaction model for database systems with semantically rich operations. Based on the work in [SWY93], we develop constructive correctness criteria that encompass both serializability and failure atomicity in a uniform manner. As it turns out, an exact characterization of the class of prefix reducible schedules that was introduced for the simple read/write model in [AVA+94] is infeasible. Thus, we propose here two subclasses of prefix reducible schedules and argue that serializability and atomicity can be unified by considering schedules from these classes. We also show that the previously proposed correctness criteria [MGG86a, MGG86b] and [RKS92, RKS93] are subsumed by our model.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AVA+94]
    G. Alonso, R. Vingralek, D. Agrawal, Y. Breitbart, A. Abbadi, H. Schek, and G. Weikum. A unified approach to concurrency control and transaction recovery. Information Systems, 19(1), 1994.Google Scholar
  2. [BR92]
    B.R. Badrinath and K. Ramamritham. Semantics-based concurrency control: beyond commutativity. ACM Transactions on Database Systems, 17(1), March 1992.Google Scholar
  3. [BGRS91]
    Y. Breitbart, D. Georgakopoulos, M. Rusinkiewicz and A. Silberschatz. On rigorous transaction scheduling. IEEE Transactions on Software Engineering, 17(9), 1991.Google Scholar
  4. [HH88]
    T. Hadzilacos and V. Hadzilacos. Transaction synchronization in object bases. Proc. ACM Principles of Database Systems, 1988.Google Scholar
  5. [HH91]
    T. Hadzilacos and V. Hadzilacos. Transaction synchronization in object bases. Journal of computer and system sciences, 1991.Google Scholar
  6. [LMWF94]
    N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgen Kaufmann, San Mateo, CA, 1994.Google Scholar
  7. [MGG86a]
    J. Moss, N. Griffeth, and M. Graham. Abstraction in concurrency control and recovery management (revised). Tech. rept. coins technical report 86-20., University of Massachusetts at Amherst, March 1986.Google Scholar
  8. [MGG86b]
    J. Moss, N. Griffeth, and M Graham. Abstraction in recovery management. ACM SIGMOD Conference, 15(1), 1986.Google Scholar
  9. [RKS92]
    R. Rastogi, H. F. Korth, and A. Silberschatz. Strict histories in objectbased database systems. Technical report, Matsushita Information Technology Laboratory, 1992.Google Scholar
  10. [RKS93]
    R. Rastogi, H. F. Korth, and A. Silberschatz. Strict histories in objectbased database systems. In Symposium on Principles of Database Systems, 1993.Google Scholar
  11. [Raz92]
    Y. Raz. The principle of commitment ordering, or guaranteeing serializability in a heterogeneous, multiresource manager enviroment using atomic commitment. Proc. 18th International Conference on Very Large Data Bases, 1992.Google Scholar
  12. [VYBS94]
    R. Vingralek, H. Ye, Y. Breitbart, and H.-J. Schek. Unified Transaction Model for Semantically Rich Operations. Technical Report, Department of Computer Science, ETH Zurich, 1994Google Scholar
  13. [SWY93]
    H.-J. Schek, G. Weikum, and H. Ye. Towards a unified theory of concurrency control and recovery. Proc. ACM Principles of Database Systems, 1993.Google Scholar
  14. [Wei88]
    W.E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12), 1988.Google Scholar
  15. [Wei89]
    W.E. Weihl. The impact of recovery on concurrency control. Proc. ACM Principles of Database Systems, 1989.Google Scholar
  16. [Wei91]
    G. Weikum. Principles and realization strategies of multilevel transaction management. ACM Transactions on Database Systems, 16(1), 1991.Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Radek Vingralek
    • 1
  • Haiyan Ye
    • 1
  • Yuri Breitbart
    • 1
  • H. -J. Schek
    • 1
  1. 1.Department of Computer ScienceETH ZurichSwitzerland

Personalised recommendations