A Model of CAD Transactions.
François Bancilhon, Won Kim, Henry F. Korth:
A Model of CAD Transactions.
VLDB 1985: 25-33@inproceedings{DBLP:conf/vldb/BancilhonKK85,
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, http://dblp.uni-trier.de}
}
BibTeX
Abstract
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
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
References
- [BERN81]
- Philip A. Bernstein, Nathan Goodman:
Concurrency Control in Distributed Database Systems.
ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
- [ESWA76]
- 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
- [GARC83]
- Hector Garcia-Molina:
Using Semantic Knowledge for Transaction Processing in Distributed Database.
ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
- [GRAY78]
- Jim Gray:
Notes on Data Base Operating Systems.
Advanced Course: Operating Systems 1978: 393-481 BibTeX
- [GRAY81]
- Jim Gray:
The Transaction Concept: Virtues and Limitations (Invited Paper).
VLDB 1981: 144-154 BibTeX
- [HASK82]
- Roger L. Haskin, Raymond A. Lorie:
On Extending the Functions of a Relational Database System.
SIGMOD Conference 1982: 207-212 BibTeX
- [KATZ84]
- ...
- [KIM84]
- Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe:
A Transaction Mechanism for Engineering Design Databases.
VLDB 1984: 355-362 BibTeX
- [LORI83]
- ...
- [LYNC83]
- Nancy A. Lynch:
Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control.
ACM Trans. Database Syst. 8(4): 484-502(1983) BibTeX
- [MOSS81]
- ...
- [PAPA79]
- Christos H. Papadimitriou:
The serializability of concurrent database updates.
J. ACM 26(4): 631-653(1979) BibTeX
- [SILB80]
- Abraham Silberschatz, Zvi M. Kedem:
Consistency in Hierarchical Database Systems.
J. ACM 27(1): 72-80(1980) BibTeX
Referenced by
- Gunter Saake, Andreas Heuer:
Datenbanken: Implementierungstechniken.
MITP-Verlag 1999, ISBN 3-8266-0513-6
Contents - Ling Liu, Calton Pu:
Methodical Restructuring of Complex Workflow Activities.
ICDE 1998: 342-350
- Nan Zhang, Theo Härder:
On Modeling Power of Object-Relational Data Models in Technical Applications.
ADBIS 1997: 318-325
- Sanjay Kumar Madria, Bharat K. Bhargava:
System Defined Prewrites for Increasing Concurrency in Databases.
ADBIS 1997: 18-22
- 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
- Henry F. Korth:
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept.
VLDB 1995: 2-6
- 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)
- Theo Härder, Kurt Rothermel:
Concurrency Control Issues in Nested Transactions.
VLDB J. 2(1): 39-74(1993)
- Jari Veijalainen, Antoni Wolski:
Prepare and Commit Certification for Decentralized Transaction Management in Rigorous Heterogeneous Multidatabases.
ICDE 1992: 470-479
- Gerhard Weikum:
Principles and Realization Strategies of Multilevel Transaction Management.
ACM Trans. Database Syst. 16(1): 132-180(1991)
- Naser S. Barghouti, Gail E. Kaiser:
Concurrency Control in Advanced Database Applications.
ACM Comput. Surv. 23(3): 269-317(1991)
- Panos K. Chrysanthis, Krithi Ramamritham:
A Formalism for Extended Transaction Model.
VLDB 1991: 103-112
- Haiyan Xu:
A Cooperative Transaction Model Handling Multiple Correctness Levels.
DASFAA 1991: 517-526
- Wolfgang Käfer:
A Framework for Version-based Cooperation Control.
DASFAA 1991: 527-535
- Won Kim:
Object-Oriented Databases: Definition and Research Directions.
IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990)
- Christian Esculier:
Non-Monotonic Knowledge Evolution in VLKDBs.
VLDB 1990: 638-649
- Won Kim:
Object-Oriented Approach to Managing Statistical and Scientific Databases.
SSDBM 1990: 1-13
- Panos K. Chrysanthis, Krithi Ramamritham:
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.
SIGMOD Conference 1990: 194-203
- Rainer Unland:
A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems.
ICDT 1990: 274-288
- Michael Ranft, Simone Rehm, Klaus R. Dittrich:
How to Share Work on Shared Objects in Design Databases.
ICDE 1990: 575-583
- Henry F. Korth, Gregory D. Speegle:
Long-Duration Transactions in Software Design Projects.
ICDE 1990: 568-574
- Gail E. Kaiser:
A Flexible Transaction Model for Software Engineering.
ICDE 1990: 560-567
- Clarence A. Ellis, Simon J. Gibbs:
Concurrency Control in Groupware Systems.
SIGMOD Conference 1989: 399-407
- Rainer Unland, Gunter Schlageter:
A Multi-Level Transaction Model for Engineering Applications.
DASFAA 1989: 98-105
- Calton Pu, Gail E. Kaiser, Norman C. Hutchinson:
Split-Transactions for Open-Ended Activities.
VLDB 1988: 26-37
- Henry F. Korth, Gregory D. Speegle:
Formal Model of Correctness Without Serializability.
SIGMOD Conference 1988: 379-386
- Jorge F. Garza, Won Kim:
Transaction Management in an Object-Oriented Database System (Invited Paper).
SIGMOD Conference 1988: 37-45
- K. Vidyasankar, Christopher N. G. Dampney:
Version Consistency and Serializability in Design Databases.
ICDT 1988: 368-382
- David Beech, Brom Mahbod:
Generalized Version Control in an Object-Oriented Database.
ICDE 1988: 14-22
- Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT 1988: 134-154
- Klaus Küspert, Peter Dadam, Jürgen Günauer:
Cooperative Object Buffer Management in the Advanced Information Management Prototype.
VLDB 1987: 483-492
- 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
- Theo Härder, Kurt Rothermel:
Concepts for Transaction Recovery in Nested Transactions.
SIGMOD Conference 1987: 239-248
- 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
- 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
- David Hung-Chang Du, Subbarao Ghanta:
A Framework for Efficient IC/VLSI CAD Databases.
ICDE 1987: 619-625
- Hong-Tai Chou, Won Kim:
A Unifying Framework for Version Control in a CAD Environment.
VLDB 1986: 336-344
- Darrell Woelk, Won Kim, Willis Luther:
An Object-Oriented Approach to Multimedia Databases.
SIGMOD Conference 1986: 311-325
- Randy H. Katz, Ellis E. Chang, Rajiv Bhateja:
Version Modeling Concepts for Computer-Aided Design Databases.
SIGMOD Conference 1986: 379-386
- Michel E. Adiba:
Modeling Complex Objects for Multimedia Databases.
ER 1986: 89-117
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
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:26 2009