Advertisement

A model of concurrent, cooperating transactions in an object-oriented database

  • Andrea H. Skarra
Transaction Management
Part of the Lecture Notes in Computer Science book series (LNCS, volume 492)

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

Correctness Criterion Abstract Data Type Global Consistency Nest Transaction Concurrent Transaction 
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.

Unable to display preview. Download preview PDF.

6. References

  1. [AM]
    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.Google Scholar
  2. [EEET]
    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.Google Scholar
  3. [FZ]
    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.Google Scholar
  4. [G]
    H. Garcia-Molina. Using Semantic Knowledge for Transaction Processing in a Distributed Database, ACM Transactions on Database Systems, 8(2), June, 1983.Google Scholar
  5. [GS]
    H. Garcia-Molina, K. Salem. Sagas, Technical Report CS-TR-070-87, Department of Computer Science, Princeton University, January, 1987.Google Scholar
  6. [Gr]
    J. Gray. “The Transaction Concept: Virtues and Limitations,” In Proceedings of the Seventh International Conference on Very Large Data Bases, 1981.Google Scholar
  7. [HW]
    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.Google Scholar
  8. [HZ]
    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.Google Scholar
  9. [KC]
    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.Google Scholar
  10. [KW]
    R. H. Katz, S. Weiss. “Design Transaction Management,” In Proceedings of the 21st ACM/IEEE Design Automation Conference, 1984.Google Scholar
  11. [K]
    H. F. Korth. “Locking Primitives in a Database System,” Journal of the Association for Computing Machinery, 30(1), January, 1983.Google Scholar
  12. [KKB]
    H. F. Korth, W. Kim, F. Bancilhon. “On Long-Duration CAD Transactions,” Information Sciences, 46:73–107, 1988.Google Scholar
  13. [KS]
    H. F. Korth, G. D. Speegle. “Formal Model of Correctness without Serializability,” In Proceedings of ACM SIGMOD International Conference on Management of Data, 1988.Google Scholar
  14. [L]
    N. A. Lynch. “Multilevel Atomicity — A new Correctness Criterion for Database Concurrency Control,” ACM Transactions on Database Systems 8(4), December, 1983.Google Scholar
  15. [M]
    J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing, MIT Press, Cambridge, MA, 1985.Google Scholar
  16. [S]
    P. M. Schwarz. Transactions on Typed Objects, Technical Report CMU-CS-84-166, Department of Computer Science, Carnegie Mellon University, December, 1984.Google Scholar
  17. [SZR]
    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.Google Scholar
  18. [SZR]
    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.Google Scholar
  19. [W]
    W. E. Weihl. “Commutativity-Based Concurrency Control for Abstract Data Types,” IEEE Proceedings of the 21st Annual Hawaii International Conference on System Sciences, 1988.Google Scholar
  20. [ZW]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Andrea H. Skarra
    • 1
  1. 1.Department of Computer ScienceBrown UniversityProvidence

Personalised recommendations