ACM SIGMOD Anthology TODS dblp.uni-trier.de

Using Semantic Knowledge for Transaction Processing in Distributed Database.

Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983)
@article{DBLP:journals/tods/Garcia-Molina83,
  author    = {Hector Garcia-Molina},
  title     = {Using Semantic Knowledge for Transaction Processing in Distributed
               Database},
  journal   = {ACM Trans. Database Syst.},
  volume    = {8},
  number    = {2},
  year      = {1983},
  pages     = {186-213},
  ee        = {http://doi.acm.org/10.1145/319983.319985, db/journals/tods/Garcia-Molina83.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This paper investigates how the semantic knowledge of an application can be used in a distributed database to process transactions efficiently and to avoid some of the delays associated with failures. The main idea is to allow nonserializable schedules which preserve consistency and which are acceptable to the system users. To produce such schedules, the transaction processing mechanism receives semantic information from the users in the form of transaction semantic types, a division of transactions into steps, compatibility sets, and countersteps. Using these notions, we propose a mechanism which allows users to exploit their semantic knowledge in an organized fashion. The strengths and weaknesses of thii approach are discussed.

Copyright © 1983 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 1, TODS 1976-1990" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

[1]
Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979) BibTeX
[2]
Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.: Concurrency Control in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 18-51(1980) BibTeX
[3]
Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
[4]
Marco A. Casanova, Philip A. Bernstein: General Purpose Schedulers for Database Systems. Acta Inf. 14: 195-220(1980) BibTeX
[5]
...
[6]
...
[7]
...
[8]
Clarence A. Ellis: Consistency and Correctness of Duplicate Database Systems. SOSP 1977: 67-84 BibTeX
[9]
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
[10]
Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks in a Large Shared Data Base. VLDB 1975: 428-451 BibTeX
[11]
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX
[12]
Jim Gray: A Transaction Model. ICALP 1980: 282-298 BibTeX
[13]
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
[14]
...
[15]
H. T. Kung, Christos H. Papadimitriou: An Optimality Theory of Concurrency Control for Databases. SIGMOD Conference 1979: 116-126 BibTeX
[16]
Richard J. Lipton, Robert Sedgewick, Jacobo Valdes: Programming Aspects of VLSI. POPL 1982: 57-65 BibTeX
[17]
Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch: Global States of a Distributed System. IEEE Trans. Software Eng. 8(3): 198-202(1982) BibTeX
[18]
...
[19]
Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz: A Locking Protocol for Resource Coordination in Distributed Databases. ACM Trans. Database Syst. 5(2): 103-138(1980) BibTeX
[20]
Ron Obermarck: Distributed Deadlock Detection Algorithm. ACM Trans. Database Syst. 7(2): 187-208(1982) BibTeX
[21]
Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) BibTeX
[22]
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198(1978) BibTeX
[23]
James B. Rothnie Jr., Nathan Goodman: A Survey of Research and Development in Distributed Database Management. VLDB 1977: 48-62 BibTeX
[24]
Dale Skeen, Michael Stonebraker: A Formal Model of Crash Recovery in a Distributed System. Berkeley Workshop 1981: 129-142 BibTeX
[25]
Michael Stonebraker: Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. IEEE Trans. Software Eng. 5(3): 188-194(1979) BibTeX
[26]
B. Ivan Strom: Consistency of Redundant Databases in a Weak Coupled Distributed Computer Conferencing System. Berkeley Workshop 1981: 143-153 BibTeX
[27]
Robert H. Thomas: A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases. ACM Trans. Database Syst. 4(2): 180-209(1979) BibTeX
[28]
Irving L. Traiger, Jim Gray, Cesare A. Galtieri, Bruce G. Lindsay: Transactions and Consistency in Distributed Database Systems. ACM Trans. Database Syst. 7(3): 323-342(1982) BibTeX

Referenced by

  1. Kerstin Schwarz, Can Türker, Gunter Saake: Computing Rules for Detecting Contradictory Transaction Termination Dependencies. ADBIS 1999: 113-127
  2. Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz: Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability. ACM Trans. Database Syst. 23(2): 199-230(1998)
  3. Alexander Thomasian: Concurrency Control: Methods, Performance, and Analysis. ACM Comput. Surv. 30(1): 70-119(1998)
  4. Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis: Design and Performance of an Assertional Concurrency Control System. ICDE 1998: 436-445
  5. Tetsuya Furukawa, Haiyan Xu, Yihua Shi: Supporting Collaborative Work by Process-Based Transaction Model. ER Workshops 1998: 421-433
  6. Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254(1997)
  7. Lisa Cingiser DiPippo, Victor Fay Wolfe: Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision. IEEE Trans. Knowl. Data Eng. 9(1): 135-147(1997)
  8. Krithi Ramamritham, Panos K. Chrysanthis: A Taxonomy of Correctness Criteria in Database Applications. VLDB J. 5(1): 85-97(1996)
  9. 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)
  10. Ahmed K. Elmagarmid, Jin Jing, Won Kim, Omran A. Bukhres, Aidong Zhang: Global Committability in Multidatabase Systems. IEEE Trans. Knowl. Data Eng. 8(5): 816-824(1996)
  11. Daniel Knaus, Peter Schäuble: The System Architecture and the Transaction Concept of the SPIDER Information Retrieval System. IEEE Data Eng. Bull. 19(1): 43-52(1996)
  12. Dennis Shasha, François Llirbat, Eric Simon, Patrick Valduriez: Transaction Chopping: Algorithms and Performance Studies. ACM Trans. Database Syst. 20(3): 325-363(1995)
  13. Krithi Ramamritham, Calton Pu: A Formal Characterization of Epsilon Serializability. IEEE Trans. Knowl. Data Eng. 7(6): 997-1007(1995)
  14. Henry F. Korth: The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept. VLDB 1995: 2-6
  15. Paul Ammann, Sushil Jajodia, Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995: 218-227
  16. Hang Kwong Mak, Man Hon Wong: Trading Operation Consistency for Concurrency. DASFAA 1995: 405-412
  17. Dimitrios Georgakopoulos, Marek Rusinkiewicz, Witold Litwin: Chronological Scheduling of Transactions with Temporal Dependencies. VLDB J. 3(1): 1-28(1994)
  18. Daniel Barbará, Hector Garcia-Molina: The Demarcation Protocol: A Technique for Maintaining Constraints in Distributed Database Systems. VLDB J. 3(3): 325-353(1994)
  19. Kenneth Salem, Hector Garcia-Molina, Jeannie Shands: Altruistic Locking. ACM Trans. Database Syst. 19(1): 117-165(1994)
  20. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. ACM Trans. Database Syst. 19(4): 586-625(1994)
  21. Henry F. Korth, Gregory D. Speegle: Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. ACM Trans. Database Syst. 19(3): 492-535(1994)
  22. Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava, Omran A. Bukhres: Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. SIGMOD Conference 1994: 67-78
  23. Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi: Reducing Recovery Constraints on Locking based Protocols. PODS 1994: 129-138
  24. Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vashudha Krishnaswamy: Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions. PODS 1994: 139-149
  25. Dimitrios Georgakopoulos, Mark F. Hornick, Piotr Krychniak, Frank Manola: Specification and Management of Extended Transactions in a Programmable Transaction Environment. ICDE 1994: 462-473
  26. Gerhard Weikum, Christof Hasse: Multi-Level Transaction Management for Complex Objects: Implementation, Performance, Parallelism. VLDB J. 2(4): 407-453(1993)
  27. 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)
  28. Rajeev Rastogi, Sharad Mehrotra, Henry F. Korth, Abraham Silberschatz: Transcending the Serializability Requirement. IEEE Data Eng. Bull. 16(2): 8-11(1993)
  29. Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311
  30. Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz: On Correctness of Non-serializable Executions. PODS 1993: 97-108
  31. Peter Muth, Thomas C. Rakow, Gerhard Weikum, Peter Brössler, Christof Hasse: Semantic Concurrency Control in Object-Oriented Database Systems. ICDE 1993: 233-242
  32. Christian Laasch, Marc H. Scholl: Deterministic Semantics of Set-Oriented Update Sequences. ICDE 1993: 4-13
  33. Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz: Overview of Multidatabase Transaction Management. VLDB J. 1(2): 181-239(1992)
  34. B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ACM Trans. Database Syst. 17(1): 163-199(1992)
  35. Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-Time Transactions: A Performance Evaluation. ACM Trans. Database Syst. 17(3): 513-560(1992)
  36. Dennis Shasha, Eric Simon, Patrick Valduriez: Simple Rational Guidance for Chopping Up Transactions. SIGMOD Conference 1992: 298-307
  37. David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194
  38. Man Hon Wong, Divyakant Agrawal: Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems. PODS 1992: 236-245
  39. Daniel Barbará, Hector Garcia-Molina: The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. EDBT 1992: 373-388
  40. Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991)
  41. K. Vidyasankar: A Non-Two Phase Locking Protocol for Global Concurrency Control in Distributed Heterogeneous Database Systems. IEEE Trans. Knowl. Data Eng. 3(2): 256-261(1991)
  42. Naser S. Barghouti, Gail E. Kaiser: Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317(1991)
  43. Christof Hasse, Gerhard Weikum: A Performance Evaluation of Multi-Level Transaction Management. VLDB 1991: 55-66
  44. Eliezer Levy, Henry F. Korth, Abraham Silberschatz: An Optimistic Commit Protocol for Distributed Transaction Management. SIGMOD Conference 1991: 88-97
  45. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance in Replicated Systems. PODS 1991: 63-74
  46. Partha Dasgupta, Zvi M. Kedem: The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General Databases. ACM Trans. Database Syst. 15(2): 281-307(1990)
  47. Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106
  48. Akhil Kumar: An Analysis of Borrowing Policies for Escrow Transactions in a Replicated Data Environment. ICDE 1990: 446-454
  49. Michèle Cart, Jean Ferrié: Integrating Concurrency Control into an Object-Oriented Database System. EDBT 1990: 363-377
  50. Abdel Aziz Farrag, M. Tamer Özsu: Using Semantic Knowledge of Transactions to Increase Concurrency. ACM Trans. Database Syst. 14(4): 503-525(1989)
  51. Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-Time Transactions with Disk Resident Data. VLDB 1989: 385-396
  52. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
  53. Leszek Lilien: Quasi-Partitioning: A New Paradigm for Transaction Execution in Partitioned Distributed Database Systems. ICDE 1989: 546-553
  54. Dennis Shasha, Nathan Goodman: Concurrent Search Structure Algorithms. ACM Trans. Database Syst. 13(1): 53-90(1988)
  55. Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-time Transactions: a Performance Evaluation. VLDB 1988: 1-12
  56. Akhil Kumar, Michael Stonebraker: Semantics Based Transaction Management Techniques for Replicated Data. SIGMOD Conference 1988: 117-125
  57. Victor Vianu, Gottfried Vossen: Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988: 353-367
  58. Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259
  59. Alexandros Biliris: Operation Specific Locking in B-Trees. PODS 1987: 159-169
  60. Henry Tirri, Kari-Jouko Räihä: Concurrency Control for Relational Databases. ICDE 1987: 298-303
  61. Sushil Jajodia, Catherine Meadows: Mutual Consistency in Decentralized Distributed Systems. ICDE 1987: 396-404
  62. B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ICDE 1987: 304-311
  63. Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
    Contents
  64. Hartmut Wedekind, Georg Zörntlein: Prefetching in Realtime Database Applications. SIGMOD Conference 1986: 215-226
  65. Gerhard Weikum: A Theoretical Foundation of Multi-Level Concurrency Control. PODS 1986: 31-43
  66. R. C. Hansdah, Lalit M. Patnaik: Update Serializability in Locking. ICDT 1986: 171-185
  67. François Bancilhon, Won Kim, Henry F. Korth: A Model of CAD Transactions. VLDB 1985: 25-33
  68. Alexander Tuzhilin, Paul G. Spirakis: A Semantic Approach to Correctness of Concurrent Transaction Executions. PODS 1985: 85-95
  69. Nathan Goodman, Dennis Shasha: Semantically-based Concurrency Control for Search Structures. PODS 1985: 8-19
  70. Susan B. Davidson: Optimism and Consistency In Partitioned Distributed Database Systems. ACM Trans. Database Syst. 9(3): 456-481(1984)
  71. Gerhard Weikum, Hans-Jörg Schek: Architectural Issues of Transaction Management in Multi-Layered Systems. VLDB 1984: 454-465
  72. Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983)
  73. Nancy A. Lynch: Multilevel Atomicity. PODS 1982: 63-69
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:38:51 2008