A Model of CAD Transactions.

François Bancilhon, Won Kim, Henry F. Korth: A Model of CAD Transactions. VLDB 1985: 25-33
  author    = {Fran\c{c}ois Bancilhon and
               Won Kim and
               Henry F. Korth},
  editor    = {Alain Pirotte and
               Yannis Vassiliou},
  title     = {A Model of CAD Transactions},
  booktitle = {VLDB'85, Proceedings of 11th International Conference on Very
               Large Data Bases, August 21-23, 1985, Stockholm, Sweden},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  pages     = {25-33},
  ee        = {db/conf/vldb/BancilhonKK85.html},
  crossref  = {DBLP:conf/vldb/85},
  bibsource = {DBLP,}


A CAD environment requires a significantly different model of transaction from that developed for typical data-processing applications. A viable model of CAD transaction must allow a group of cooperating designers to arrive at a design without being forced to wait over a long duration. It must also allow a group of designers to collaborate on a design with another group by assigning subtasks. In this paper, we provide both an intuitive description and a formal development of a new model of CAD transactions.

Copyright © 1985 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

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

Alain Pirotte, Yannis Vassiliou (Eds.): VLDB'85, Proceedings of 11th International Conference on Very Large Data Bases, August 21-23, 1985, Stockholm, Sweden. Morgan Kaufmann 1985
Contents BibTeX


Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
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
Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
Roger L. Haskin, Raymond A. Lorie: On Extending the Functions of a Relational Database System. SIGMOD Conference 1982: 207-212 BibTeX
Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe: A Transaction Mechanism for Engineering Design Databases. VLDB 1984: 355-362 BibTeX
Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983) BibTeX
Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) BibTeX
Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980) BibTeX

Referenced by

  1. Gunter Saake, Andreas Heuer: Datenbanken: Implementierungstechniken. MITP-Verlag 1999, ISBN 3-8266-0513-6
  2. Ling Liu, Calton Pu: Methodical Restructuring of Complex Workflow Activities. ICDE 1998: 342-350
  3. Nan Zhang, Theo Härder: On Modeling Power of Object-Relational Data Models in Technical Applications. ADBIS 1997: 318-325
  4. Sanjay Kumar Madria, Bharat K. Bhargava: System Defined Prewrites for Increasing Concurrency in Databases. ADBIS 1997: 18-22
  5. Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, Jürgen Wäsch, Peter Muth: Towards a Cooperative Transaction Model - The Cooperative Activity Model. VLDB 1995: 194-205
  6. Henry F. Korth: The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept. VLDB 1995: 2-6
  7. 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)
  8. Theo Härder, Kurt Rothermel: Concurrency Control Issues in Nested Transactions. VLDB J. 2(1): 39-74(1993)
  9. Jari Veijalainen, Antoni Wolski: Prepare and Commit Certification for Decentralized Transaction Management in Rigorous Heterogeneous Multidatabases. ICDE 1992: 470-479
  10. Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991)
  11. Naser S. Barghouti, Gail E. Kaiser: Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317(1991)
  12. Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112
  13. Haiyan Xu: A Cooperative Transaction Model Handling Multiple Correctness Levels. DASFAA 1991: 517-526
  14. Wolfgang Käfer: A Framework for Version-based Cooperation Control. DASFAA 1991: 527-535
  15. Won Kim: Object-Oriented Databases: Definition and Research Directions. IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990)
  16. Christian Esculier: Non-Monotonic Knowledge Evolution in VLKDBs. VLDB 1990: 638-649
  17. Won Kim: Object-Oriented Approach to Managing Statistical and Scientific Databases. SSDBM 1990: 1-13
  18. Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203
  19. Rainer Unland: A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems. ICDT 1990: 274-288
  20. Michael Ranft, Simone Rehm, Klaus R. Dittrich: How to Share Work on Shared Objects in Design Databases. ICDE 1990: 575-583
  21. Henry F. Korth, Gregory D. Speegle: Long-Duration Transactions in Software Design Projects. ICDE 1990: 568-574
  22. Gail E. Kaiser: A Flexible Transaction Model for Software Engineering. ICDE 1990: 560-567
  23. Clarence A. Ellis, Simon J. Gibbs: Concurrency Control in Groupware Systems. SIGMOD Conference 1989: 399-407
  24. Rainer Unland, Gunter Schlageter: A Multi-Level Transaction Model for Engineering Applications. DASFAA 1989: 98-105
  25. Calton Pu, Gail E. Kaiser, Norman C. Hutchinson: Split-Transactions for Open-Ended Activities. VLDB 1988: 26-37
  26. Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386
  27. Jorge F. Garza, Won Kim: Transaction Management in an Object-Oriented Database System (Invited Paper). SIGMOD Conference 1988: 37-45
  28. K. Vidyasankar, Christopher N. G. Dampney: Version Consistency and Serializability in Design Databases. ICDT 1988: 368-382
  29. David Beech, Brom Mahbod: Generalized Version Control in an Object-Oriented Database. ICDE 1988: 14-22
  30. Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154
  31. Klaus Küspert, Peter Dadam, Jürgen Günauer: Cooperative Object Buffer Management in the Advanced Information Management Prototype. VLDB 1987: 483-492
  32. Denise J. Ecklund, Earl F. Ecklund Jr., Robert O. Eifrig, Fred M. Tonge: DVSS: A Distributed Version Storage Server for CAD Applications. VLDB 1987: 443-454
  33. Theo Härder, Kurt Rothermel: Concepts for Transaction Recovery in Nested Transactions. SIGMOD Conference 1987: 239-248
  34. Won Kim, Darrell Woelk, Jorge F. Garza, Hong-Tai Chou, Jay Banerjee, Nat Ballou: Enhancing the Object-Oriented Concepts for Database Support. ICDE 1987: 291-292
  35. Ulrich Güntzer, Werner Kießling, Rudolf Bayer: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. ICDE 1987: 120-129
  36. David Hung-Chang Du, Subbarao Ghanta: A Framework for Efficient IC/VLSI CAD Databases. ICDE 1987: 619-625
  37. Hong-Tai Chou, Won Kim: A Unifying Framework for Version Control in a CAD Environment. VLDB 1986: 336-344
  38. Darrell Woelk, Won Kim, Willis Luther: An Object-Oriented Approach to Multimedia Databases. SIGMOD Conference 1986: 311-325
  39. Randy H. Katz, Ellis E. Chang, Rajiv Bhateja: Version Modeling Concepts for Computer-Aided Design Databases. SIGMOD Conference 1986: 379-386
  40. Michel E. Adiba: Modeling Complex Objects for Multimedia Databases. ER 1986: 89-117
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:26 2009