Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database Theory

ICDT 1995: Database Theory — ICDT '95 pp 148–161Cite as

Unified transaction model for semantically rich operations

  • Contributed Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((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.

This material is based in part upon work supported by NSF grants IRI-9221947, IRJ-9012902 and IRI-9117904 and by grant from Hewlett-Packard Corporation. This work has been performed while Y. Breitbart was on one year sabbatical and R. Vingralek was visiting the database research group at ETH, Zurich.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. B.R. Badrinath and K. Ramamritham. Semantics-based concurrency control: beyond commutativity. ACM Transactions on Database Systems, 17(1), March 1992.

    Google Scholar 

  3. Y. Breitbart, D. Georgakopoulos, M. Rusinkiewicz and A. Silberschatz. On rigorous transaction scheduling. IEEE Transactions on Software Engineering, 17(9), 1991.

    Google Scholar 

  4. T. Hadzilacos and V. Hadzilacos. Transaction synchronization in object bases. Proc. ACM Principles of Database Systems, 1988.

    Google Scholar 

  5. T. Hadzilacos and V. Hadzilacos. Transaction synchronization in object bases. Journal of computer and system sciences, 1991.

    Google Scholar 

  6. N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgen Kaufmann, San Mateo, CA, 1994.

    Google Scholar 

  7. 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. J. Moss, N. Griffeth, and M Graham. Abstraction in recovery management. ACM SIGMOD Conference, 15(1), 1986.

    Google Scholar 

  9. R. Rastogi, H. F. Korth, and A. Silberschatz. Strict histories in objectbased database systems. Technical report, Matsushita Information Technology Laboratory, 1992.

    Google Scholar 

  10. 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. 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. 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, 1994

    Google Scholar 

  13. 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. W.E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12), 1988.

    Google Scholar 

  15. W.E. Weihl. The impact of recovery on concurrency control. Proc. ACM Principles of Database Systems, 1989.

    Google Scholar 

  16. G. Weikum. Principles and realization strategies of multilevel transaction management. ACM Transactions on Database Systems, 16(1), 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, ETH Zurich, CH-8092, Switzerland

    Radek Vingralek, Haiyan Ye, Yuri Breitbart & H. -J. Schek

Authors
  1. Radek Vingralek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Haiyan Ye
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yuri Breitbart
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. H. -J. Schek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Georg Gottlob Moshe Y. Vardi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vingralek, R., Ye, H., Breitbart, Y., Schek, H.J. (1995). Unified transaction model for semantically rich operations. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58907-5

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation