Abstract
We describe a model of transactions and concurrency control that supports cooperative task and data sharing among users. The model augments traditional correctness criteria, such as global consistency for individual transactions and serializability for concurrent transactions, with programmer-defined correctness criteria that uniformly integrate both data and application semantics. Individual transactions are not required to maintain global consistency. Rather, transactions cooperate in groups, such that transaction groups are the units of consistency. The context for the model is an extensible object-oriented database: abstract data types define the behavior and representation of their instance objects, and each object is accessed only by way of the strict operational interface defined by its type. Applications can incrementally contribute new types to the database. The model effectively represents a transaction management system that is programmable by knowledgeable application designers. Although developed toward the needs of applications that provide computer support for cooperative activities, such as office information systems, graphical programming environments, and CAD tools for electronic or mechanical domains, the model provides a framework for any application for which the traditional transaction model is too restrictive. The model's key features are a nested framework of transaction groups that encapsulate nonserializable data sharing and a method for localized specification of semantic correctness criteria for concurrent histories of cooperating transactions.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
6. References
J. E. Allchin, M. S. McKendry. “Synchronization and Recovery of Actions,” In Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983.
D. J. Ecklund, E. F. Ecklund, R. O. Eifrig, F. M. Tonge. “DVSS: A Distributed Version Storage Server for CAD Applications,” Proceedings of the Thirteenth International Conference on Very Large Data Bases, 1987.
M. F. Fernandez, S. B. Zdonik. “Transaction Groups: A Model for Controlling Cooperative Transactions,” A Workshop on Persistent Object Systems: Their Design, Implementation and Use, The University of Newcastle, N. S. W., Australia, 1989.
H. Garcia-Molina. Using Semantic Knowledge for Transaction Processing in a Distributed Database, ACM Transactions on Database Systems, 8(2), June, 1983.
H. Garcia-Molina, K. Salem. Sagas, Technical Report CS-TR-070-87, Department of Computer Science, Princeton University, January, 1987.
J. Gray. “The Transaction Concept: Virtues and Limitations,” In Proceedings of the Seventh International Conference on Very Large Data Bases, 1981.
M. P. Herlihy, W. E. Weihl. “Hybrid Concurrency Control for Abstract Data Types,” In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988.
M. F. Hornick, S. B. Zdonik. “A Shared, Segmented Memory System for an Object-Oriented Database,” ACM Transactions on Office Information Systems, 5(1), January, 1987.
R. H. Katz, E. Chang. “Managing Change in a Computer-Aided Design Database,” Proceedings of the Thirteenth International Conference on Very Large Data Bases, 1987.
R. H. Katz, S. Weiss. “Design Transaction Management,” In Proceedings of the 21st ACM/IEEE Design Automation Conference, 1984.
H. F. Korth. “Locking Primitives in a Database System,” Journal of the Association for Computing Machinery, 30(1), January, 1983.
H. F. Korth, W. Kim, F. Bancilhon. “On Long-Duration CAD Transactions,” Information Sciences, 46:73–107, 1988.
H. F. Korth, G. D. Speegle. “Formal Model of Correctness without Serializability,” In Proceedings of ACM SIGMOD International Conference on Management of Data, 1988.
N. A. Lynch. “Multilevel Atomicity — A new Correctness Criterion for Database Concurrency Control,” ACM Transactions on Database Systems 8(4), December, 1983.
J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing, MIT Press, Cambridge, MA, 1985.
P. M. Schwarz. Transactions on Typed Objects, Technical Report CMU-CS-84-166, Department of Computer Science, Carnegie Mellon University, December, 1984.
A. H. Skarra, S. B. Zdonik, S. P. Reiss. “An Object Server for an Object-Oriented Database,” Proceedings of the International Workshop on Object-Oriented Database Systems, ACM/IEEE, 1986.
Revised in A. H. Skarra, S. B. Zdonik, S. P. Reiss. ObServer: An Object Server for an Object-Oriented Database, Technical Report CS-88-08, Department of Computer Science, Brown University, July, 1987.
W. E. Weihl. “Commutativity-Based Concurrency Control for Abstract Data Types,” IEEE Proceedings of the 21st Annual Hawaii International Conference on System Sciences, 1988.
S. B. Zdonik, P. Wegner. “Language and Methodology for Object-Oriented Database Environments,” IEEE Proceedings of the 19th Annual Hawaii International Conference on System Sciences, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Skarra, A.H. (1991). A model of concurrent, cooperating transactions in an object-oriented database. In: Sriram, D., Logcher, R., Fukuda, S. (eds) Computer-Aided Cooperative Product Development. WCACPD 1989. Lecture Notes in Computer Science, vol 492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014286
Download citation
DOI: https://doi.org/10.1007/BFb0014286
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54008-3
Online ISBN: 978-3-540-47345-9
eBook Packages: Springer Book Archive