Conceptual Level Concurrency Control of Relational Update Transactions.

@inproceedings{DBLP:conf/icdt/VianuV88,
  author    = {Victor Vianu and
               Gottfried Vossen},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {Conceptual Level Concurrency Control of Relational Update Transactions},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {353-367},
  ee        = {db/conf/icdt/VianuV88.html},
  crossref  = {DBLP:conf/icdt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56 BibTeX

[2]

Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988) BibTeX

[3]

Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204 BibTeX

[4]

Serge Abiteboul, Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986: 235-239 BibTeX

[5]

Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Analyzing Concurrency Control Algorithms When User and System Operations Differ. IEEE Trans. Software Eng. 9(3): 233-239(1983) BibTeX

[6]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[7]

C. J. Date: A Guide to DB2, 1st Edition. Addison-Wesley 1984
BibTeX

[8]

Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX

[9]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX

[10]

Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259 BibTeX

[11]

Dino Karabeg, Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988: 307-321 BibTeX

[12]

Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983) BibTeX

[13]

H. T. Kung, Christos H. Papadimitriou: An Optimality Theory of Concurrency Control for Databases. Acta Inf. 19: 1-11(1983) BibTeX

[14]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[15]

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4): 455-469(1979) BibTeX

[16]

Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) BibTeX

[17]

Marina Roesler, Walter A. Burkhard: Concurrency Control Scheme for Shared Objects: A Peephole Approach Based on Semantics (extended abstract). ICDCS 1987: 224-231 BibTeX

[18]

Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) BibTeX

[19]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[20]

Victor Vianu, Gottfried Vossen: Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. 95(1): 1-42(1992) BibTeX

[21]

William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985) BibTeX

[22]

Gerhard Weikum: A Theoretical Foundation of Multi-Level Concurrency Control. PODS 1986: 31-43 BibTeX

[23]

Mihalis Yannakakis: Serializability by Locking. J. ACM 31(2): 227-244(1984) BibTeX

Referenced by

1. Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh: Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. ACM Trans. Database Syst. 18(3): 460-486(1993)
2. Victor Vianu, Gottfried Vossen: Goal-Oriented Concurrency Control. MFDBS 1989: 398-414
3. ShouHan Wang, Gottfried Vossen: Towards Efficient Algorithms for Deadlock Detection and Resolution in Distributed Systems. ICDE 1989: 287-294
4. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)