ACM SIGMOD Anthology VLDB dblp.uni-trier.de

The Transaction Concept: Virtues and Limitations (Invited Paper).

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154
@inproceedings{DBLP:conf/vldb/Gray81,
  author    = {Jim Gray},
  title     = {The Transaction Concept: Virtues and Limitations (Invited Paper)},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {144-154},
  ee        = {db/conf/vldb/Gray81.html},
  crossref  = {DBLP:conf/vldb/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

A transaction is a transformation of state which has the properties of atomicity (all or nothing), durability (effects survive failures) and consistency (a correct transformation). The transaction concept is key to the structuring of data management applications. The concept seems to have applicability to programming systems in general. This paper restates the transaction concepts and attempts to put several implementation approaches in perspective. It then describes some areas which require further study: (1) the integration of the transaction concept with the notion of abstract data type, (2) some techniques to allow transactions to be composed of sub-transactions, and (3) handling transactions which last for extremely long times (days or months).

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


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents BibTeX

References

[Alsberg]
Peter Alsberg, J. D. Day: A Principle for Resilient Sharing of Distributed Resources. ICSE 1976: 562-570 BibTeX
[Bartlett1]
...
[Bartlett2]
Joel F. Bartlett: A NonStop Kernel. SOSP 1981: 22-19 BibTeX
[Beeri]
Catriel Beeri, Ron Obermarck: A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178 BibTeX
[Bernstein]
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
[Borr]
Andrea J. Borr: Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing. VLDB 1981: 155-165 BibTeX
[Davies and Bjork]
...
[Bjork]
...
[Eswaran]
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
[Gray1]
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX
[Gray2]
Jim Gray: A Transaction Model. ICALP 1980: 282-298 BibTeX
[Gray3]
Jim Gray, Pete Homan, Henry F. Korth, Ron Obermarck: A Straw Man Analysis of the Probability of Waiting and Deadlock in a Database System. Berkeley Workshop 1981: 125 BibTeX
[Heistand]
...
[Japan]
...
[Katzman]
...
[Obermarck]
...
[Randell]
Brian Randell: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2): 221-232(1975) BibTeX
[Reed1]
...
[Reed2]
David P. Reed: Implementing Atomic Actions on Decentralized Data. SOSP 1979: 163 BibTeX
[Rosenkrantz]
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
[Severance]
Dennis G. Severance, Guy M. Lohman: Differential Files: Their Application to the Maintenance of Large Databases. ACM Trans. Database Syst. 1(3): 256-267(1976) BibTeX
[Svobodova]
...
[Von Neumann ]
...
[Wood]
...

Referenced by

  1. Gunter Saake, Andreas Heuer: Datenbanken: Implementierungstechniken. MITP-Verlag 1999, ISBN 3-8266-0513-6
    Contents
  2. Tetsuya Furukawa, Haiyan Xu, Yihua Shi: Supporting Collaborative Work by Process-Based Transaction Model. ER Workshops 1998: 421-433
  3. D. Wildfogel, Ramana Yerneni: Efficient Testing of High Performance Transaction Processing Systems. VLDB 1997: 595-598
  4. Lars Bækgaard: Transaction-Based Specification of Database Evolution. ER 1997: 127-140
  5. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
  6. Munindar P. Singh: Synthesizing Distributed Constrained Events from Transactional Workflow. ICDE 1996: 616-623
  7. Henry F. Korth: The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept. VLDB 1995: 2-6
  8. Shailesh Agarwal, Arthur M. Keller, Gio Wiederhold, Krishna Saraswat: Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. ICDE 1995: 495-504
  9. Munindar P. Singh: Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. DBPL 1995: 5
  10. Vram Kouramajian, Ross Dargahi, Jerry Fowler, Donald G. Baker: Consortium: A Framework for Transaction Collaborative Environments. CIKM 1995: 260-265
  11. Henrietta Dombrowska: ARIES/NT Modified for Advanced Transactions Support. ADBIS 1995: 43-51
  12. Dimitrios Georgakopoulos, Marek Rusinkiewicz, Witold Litwin: Chronological Scheduling of Transactions with Temporal Dependencies. VLDB J. 3(1): 1-28(1994)
  13. Kenneth Salem, Hector Garcia-Molina, Jeannie Shands: Altruistic Locking. ACM Trans. Database Syst. 19(1): 117-165(1994)
  14. Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: Using Tickets to Enforce the Serializability of Multidatabase Transactions. IEEE Trans. Knowl. Data Eng. 6(1): 166-180(1994)
  15. Divyakant Agrawal, Amr El Abbadi, A. E. Lang: The Performance of Protocols Based on Locks with Ordered Sharing. IEEE Trans. Knowl. Data Eng. 6(5): 805-818(1994)
  16. Paul W. P. J. Grefen, Rolf A. de By: A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue. ICDE 1994: 80-88
  17. Marek Rusinkiewicz, Amit P. Sheth: Transactional Workflow Management in Distributed Systems (Invited Paper). ADBIS 1994: 18-33
  18. Theo Härder, Kurt Rothermel: Concurrency Control Issues in Nested Transactions. VLDB J. 2(1): 39-74(1993)
  19. 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)
  20. Paul W. P. J. Grefen: Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. VLDB 1993: 581-591
  21. Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz: Specifying and Enforcing Intertask Dependencies. VLDB 1993: 134-145
  22. W. Woody Jin, Marek Rusinkiewicz, Linda Ness, Amit P. Sheth: Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications. SIGMOD Conference 1993: 456-459
  23. Peter Muth, Thomas C. Rakow, Gerhard Weikum, Peter Brössler, Christof Hasse: Semantic Concurrency Control in Object-Oriented Database Systems. ICDE 1993: 233-242
  24. Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth: Using Flexible Transactions to Support Multi-System Telecommunication Applications. VLDB 1992: 65-76
  25. David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194
  26. eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid: An Execution Model for Distributed Database Transactions and Its Implementation in VPL. EDBT 1992: 483-498
  27. Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991)
  28. Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112
  29. Eliezer Levy, Henry F. Korth, Abraham Silberschatz: An Optimistic Commit Protocol for Distributed Transaction Management. SIGMOD Conference 1991: 88-97
  30. Panos K. Chrysanthis, S. Raghuram, Krithi Ramamritham: Extracting Concurrency from Objects: A Methodology. SIGMOD Conference 1991: 108-117
  31. Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: On Serializability of Multidatabase Transactions Through Forced Local Conflicts. ICDE 1991: 314-323
  32. Carmelo Malta, José Martinez: Controlling Concurrent Accesses in an Object-Oriented Environment. DASFAA 1991: 192-200
  33. Henry F. Korth, Nandit Soparkar, Abraham Silberschatz: Triggered Real-Time Databases with Consistency Constraints. VLDB 1990: 71-82
  34. Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106
  35. Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin, Marek Rusinkiewicz: A Multidatabase Transaction Model for InterBase. VLDB 1990: 507-518
  36. Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203
  37. Philip A. Bernstein, Meichun Hsu, Bruce Mann: Implementing Recoverable Requests Using Queues. SIGMOD Conference 1990: 112-122
  38. Thomas C. Rakow, Junzhong Gu, Erich J. Neuhold: Serializability in Object-Oriented Database Systems. ICDE 1990: 112-120
  39. Tadashi Ohmori, Masaru Kitsuregawa, Hidehiko Tanaka: Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines. ICDE 1990: 476-485
  40. Akhil Kumar: An Analysis of Borrowing Policies for Escrow Transactions in a Replicated Data Environment. ICDE 1990: 446-454
  41. Matthew Bellew, Meichun Hsu, Va-On Tam: Update Propagation in Distributed Memory Hierarchy. ICDE 1990: 521-528
  42. Bharat K. Bhargava, John Riedl: A Model for Adaptable Systems for Transaction Processing. IEEE Trans. Knowl. Data Eng. 1(4): 433-449(1989)
  43. Peter Peinl, Andreas Reuter, Harald Sammer: High Contention in a Stock Trading Database: A Case Study. SIGMOD Conference 1988: 260-268
  44. Akhil Kumar, Michael Stonebraker: Semantics Based Transaction Management Techniques for Replicated Data. SIGMOD Conference 1988: 117-125
  45. Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154
  46. Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259
  47. Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
    Contents
  48. Patrick E. O'Neil: The Escrow Transactional Method. ACM Trans. Database Syst. 11(4): 405-430(1986)
  49. C. Mohan, Bruce G. Lindsay, Ron Obermarck: Transaction Management in the R* Distributed Database Management System. ACM Trans. Database Syst. 11(4): 378-396(1986)
  50. Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)
  51. Rakesh Agrawal, David J. DeWitt: Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation. ACM Trans. Database Syst. 10(4): 529-564(1985)
  52. Wojciech Cellary, Tadeusz Morzy: Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems. VLDB 1985: 115-126
  53. François Bancilhon, Won Kim, Henry F. Korth: A Model of CAD Transactions. VLDB 1985: 25-33
  54. Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek: Genesis: A Distributed Database Operating System. SIGMOD Conference 1985: 374-387
  55. Salvatore T. March, Gary D. Scudder: On the Selection of Efficient Record Segmentations and Backup Strategies for Large Shared Databases. ACM Trans. Database Syst. 9(3): 409-438(1984)
  56. Gerhard Weikum, Hans-Jörg Schek: Architectural Issues of Transaction Management in Multi-Layered Systems. VLDB 1984: 454-465
  57. Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe: A Transaction Mechanism for Engineering Design Databases. VLDB 1984: 355-362
  58. Andrea J. Borr: Robustness to Crash in a Distributed Database: A Non Shared-memory Multi-Processor Approach. VLDB 1984: 445-453
  59. Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder: Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints and Transactions. ICDE 1984: 399-407
  60. Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983)
  61. Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983)
  62. Manuel Reimer: Solving the Phantom Problem by Predicative Optimistic Concurrency Control. VLDB 1983: 81-88
  63. Gael N. Buckley, Abraham Silberschatz: Obtaining Progressive Protocols for a Simple Multiversion Database Model. VLDB 1983: 74-80
  64. Michael J. Carey: Granularity Hierarchies in Concurrency Control. PODS 1983: 156-165
  65. Thomas Neumann, Christoph Hornung: Consistency and Transactions in CAD Database. VLDB 1982: 181-188
  66. Colette Rolland, Christian Richard: Transaction Modeling. SIGMOD Conference 1982: 265-275
  67. Andreas Reuter: Concurrency on High-trafic Data Elements. PODS 1982: 83-92
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:12 2009