Conceptual level concurrency control of relational update transactions

  • Victor Vianu
  • Gottfried Vossen
Dynamic Aspects Of Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 326)

Abstract

The concurrency control problem is examined for transactions as they appear at the conceptual level in a concrete database model. Specifically, a class of widely accepted update transactions in relational databases is studied with respect to concurrency control. It is shown how static serializability testing, as well as dynamic scheduling, can be improved by making use of the semantic information available at the conceptual level on transactions and database constraints.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Abiteboul, S., V. Vianu. Transactions in Relational Databases. Proc. 10th VLDB (1984) 46–56.Google Scholar
  2. [2]
    Abiteboul, S., V. Vianu. Equivalence and Optimization of Relational Transactions. JACM 35 (1988) 70–120.Google Scholar
  3. [3]
    Abiteboul, S., V. Vianu. Transactions and Integrity Constraints. Proc. 4th ACM PODS (1985) 193–204.Google Scholar
  4. [4]
    Abiteboul, S., V. Vianu. Deciding Properties of Transactional Schemas. Proc. 5th ACM PODS (1986) 235–239.Google Scholar
  5. [5]
    Bernstein, P. A., N. Goodman, M. Y. Lai. Analyzing Concurrency Control Algorithms When User and System Operations Differ. IEEE Trans. on Software Eng. 9 (1983) 233–239.Google Scholar
  6. [6]
    Bernstein, P. A., V. Hadzilacos, N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987).Google Scholar
  7. [7]
    Date, C. J. A Guide to DB2. Addison-Wesley (1984).Google Scholar
  8. [8]
    Garcia-Molina, H. Using Semantic Knowledge for Transaction Processing in a Distributed Database. ACM TODS 8 (1983) 186–213.Google Scholar
  9. [9]
    Gray, J. Notes on Data Base Operating Systems. in: R. Bayer, M. R. Graham, G. Seegmuller (eds.). Operating Systems — An Advanced Course. Springer LNCS 60 (1978) 393–481.Google Scholar
  10. [10]
    Karabeg, A., D. Karabeg, K. Papakonstantinou, V. Vianu. Axiomatization and Simplification Rules for Relational Transactions. Proc. 6th ACM PODS (1987), 254–259.Google Scholar
  11. [11]
    Karabeg, D., V. Vianu. Parallel Update Transactions, this proceedings.Google Scholar
  12. [12]
    Korth, H.F. Locking Primitives in a Database System. JACM 30 (1983) 55–79.Google Scholar
  13. [13]
    Kung, H. T., C. H. Papadimitriou. An Optimality Theory of Concurrency Control for Databases. Acta Informatica 19 (1983) 1–11.Google Scholar
  14. [14]
    Maier, D. The Theory of Relational Databases. Computer Science Press (1983).Google Scholar
  15. [15]
    Maier, D., A. O. Mendelzon, Y. Sagiv. Testing Implications of Data Dependencies. ACM TODS 4 (1979) 455–469.Google Scholar
  16. [16]
    Papadimitriou, C. H. The serializability of concurrent database updates. JACM 26 (1979) 631–653.CrossRefGoogle Scholar
  17. [17]
    Roesler, M., W. A. Burkhard. Concurrency Control Scheme for Shared Objects: A Peephole Approach Based on Semantics. Proc. 7th IEEE Int. Conf. on Distributed Computing Systems (1987), 224–231.Google Scholar
  18. [18]
    Schwarz, P. M., A. Z. Spector. Synchronizing Shared Abstract Data Types. ACM Trans. on Computer Systems 2 (1984) 223–250.Google Scholar
  19. [19]
    Ullman, J. Principles of Database Systems. Computer Science Press (1982), 2nd ed.Google Scholar
  20. [20]
    Vianu, V., G. Vossen. Conceptual Level Concurrency Control of Relational Update Transactions. Techn. Rep. CS 87–105, UCSD (October 1987).Google Scholar
  21. [21]
    Weihl, W., B. Liskov. Specification and Implementation of Resilient Atomic Data Types. ACM TOPLAS 7 (1985) 244–269.Google Scholar
  22. [22]
    Weikum, G. A Theoretical Foundation of Multi-Level Concurrency Control. Proc. 5th ACM PODS (1986) 31–42.Google Scholar
  23. [23]
    Yannakakis, M. Serializability by Locking. JACM 31 (1984) 227–244.CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag 1983

Authors and Affiliations

  • Victor Vianu
    • 1
  • Gottfried Vossen
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity of CaliforniaSan Diego La JollaUSA
  2. 2.Lehrstuhl fuer angewandte MathematikTechnische Hochschule AachenAachenFRG

Personalised recommendations