Semantics-Based Concurrency Control: Beyond Commutativity.

@inproceedings{DBLP:conf/icde/BadrinathR87,
  author    = {B. R. Badrinath and
               Krithi Ramamritham},
  title     = {Semantics-Based Concurrency Control: Beyond Commutativity},
  booktitle = {Proceedings of the Third International Conference on Data Engineering,
               February 3-5, 1987, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1987},
  isbn      = {0-8186-0762-9},
  pages     = {304-311},
  ee        = {db/conf/icde/BadrinathR87.html},
  crossref  = {DBLP:conf/icde/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1987 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

Printed Edition

References

[Badrinath86]

...

[Beeri83]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62 BibTeX

[Bernstein81]

Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) BibTeX

[Birman85]

Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi: Implementing Fault-Tolerant Distributed Objects. IEEE Trans. Software Eng. 11(6): 502-508(1985) BibTeX

[Bracha84]

Gabriel Bracha, Sam Toueg: A Distributed Algorithm for Generalized Deadlock Detection. PODC 1984: 285-301 BibTeX

[Buckley85]

Gael N. Buckley, Abraham Silberschatz: Beyond Two-Phase Locking. J. ACM 32(2): 314-326(1985) BibTeX

[Casanova81]

...

[Eswaran76]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[Garcia-Molina83]

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

[Goodman85]

Nathan Goodman, Dennis Shasha: Semantically-based Concurrency Control for Search Structures. PODS 1985: 8-19 BibTeX

[Hadzilacos84]

...

[Kung81]

H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX

[Lamport78]

Leslie Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565(1978) BibTeX

[Moss81]

...

[Sinha85]

Mukul K. Sinha, N. Natarajan: A Priority Based Distributed Deadlock Detection Algorithm. IEEE Trans. Software Eng. 11(1): 67-80(1985) BibTeX

[Papadimitriou79]

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

[Schwarz84]

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

[Weihl84]

...

[Weihl85]

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

Referenced by

1. C. Mohan: Repeating History Beyond ARIES. VLDB 1999: 1-17
2. Dimitrios Georgakopoulos, Mark F. Hornick, Frank Manola: Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation. IEEE Trans. Knowl. Data Eng. 8(4): 630-649(1996)
3. Hang Kwong Mak, Man Hon Wong: Trading Operation Consistency for Concurrency. DASFAA 1995: 405-412
4. Dimitrios Georgakopoulos, Mark F. Hornick, Piotr Krychniak, Frank Manola: Specification and Management of Extended Transactions in a Programmable Transaction Environment. ICDE 1994: 462-473
5. 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)
6. Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz: On Correctness of Non-serializable Executions. PODS 1993: 97-108
7. Andrea H. Skarra: SLEVE: Semantic Locking for EVEnt synchronisation. ICDE 1993: 495-502
8. C. Mohan, Donald J. Haderle, Bruce G. Lindsay, Hamid Pirahesh, Peter M. Schwarz: ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Trans. Database Syst. 17(1): 94-162(1992)
9. B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ACM Trans. Database Syst. 17(1): 163-199(1992)
10. Eliezer Levy, Abraham Silberschatz: Incremental Recovery in Main Memory Database Systems. IEEE Trans. Knowl. Data Eng. 4(6): 529-540(1992)
11. Divyakant Agrawal, Amr El Abbadi: A Non-Restrictive Concurrency Control for Object Oriented Databases. EDBT 1992: 469-482
12. Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112
13. C. Mohan, Hamid Pirahesh: ARIES-RRH: Restricted Repeating of History in the ARIES Transaction Recovery Method. ICDE 1991: 718-727
14. Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106
15. Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203
16. B. R. Badrinath, Krithi Ramamritham: Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. SIGMOD Conference 1990: 163-172
17. Kurt Rothermel, C. Mohan: ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions. VLDB 1989: 337-346
18. Michael Stonebraker, Randy H. Katz, David A. Patterson, John K. Ousterhout: The Design of XPRS. VLDB 1988: 318-330
19. Akhil Kumar, Michael Stonebraker: Semantics Based Transaction Management Techniques for Replicated Data. SIGMOD Conference 1988: 117-125