The ConTract Model

[1]  Erich J. Neuhold,et al.  A Transaction Model for an Open Publication Environment , 1991 .

[2]  Hector Garcia-Molina,et al.  Modeling long-running activities as nested sagas , 1991 .

[3]  Johannes Klein.  Advanced rule driven transaction management , 1991, COMPCON Spring '91 Digest of Papers.

[4]  Lily B. Mummert,et al.  Camelot and Avalon: A Distributed Transaction Facility , 1991 .

[5]  Helmut Wächter.  ConTracts: a means for improving reliability in distributed computing , 1991, Compcon.

[6]  Andreas Reuter.  Performance and Reliability Issues in Future DBMSs , 1990, IBM Symposium: Database Systems of the 90s.

[7]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

[8]  Ahmed K. Elmagarmid,et al.  A Multidatabase Transaction Model for InterBase , 1990, VLDB.

[9]  Kurt Rothermel,et al.  Open commit protocols for the tree of processes model , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[10]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[11]  Philip A. Bernstein,et al.  Implementing recoverable requests using queues , 1990, SIGMOD '90.

[12]  Panos K. Chrysanthis,et al.  ACTA: a framework for specifying and reasoning about transaction structure and behavior , 1990, SIGMOD '90.

[13]  Won Kim,et al.  On Long-Duration CAD Transactions , 1989, Inf. Sci..

[14]  Klaus Meyer-Wegener,et al.  Processing and Transaction Concepts for Cooperation of Engineering Workstations and a Database Server , 1988, Data Knowl. Eng..

[15]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[16]  Henry F. Korth,et al.  Formal model of correctness without serializabilty , 1988, SIGMOD '88.

[17]  Andreas Reuter,et al.  High contention in a stock trading database: a case study , 1988, SIGMOD '88.

[18]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[19]  A. Reuter,et al.  Migrating transactions , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

[20]  Meichun Hsu,et al.  An Execution Model for Active Data Base Management Systems , 1988, JCDKB.

[21]  Kurt Rothermel,et al.  Concepts for transaction recovery in nested transactions , 1987, SIGMOD '87.

[22]  Richard Draves,et al.  High Performance Distributed Transaction Processing in a General Purpose Computing Environment , 1987, HPTS.

[23]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[24]  Gerhard Weikum,et al.  A theoretical foundation of multi-level concurrency control , 1985, PODS.

[25]  Won Kim,et al.  A Transaction Mechanism for Engineering Design Databases , 1984, VLDB.

[26]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

[27]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[28]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[29]  John Mylopoulos,et al.  Generalization/Specialization as a Basis for Software Specification , 1982, On Conceptual Modelling.

[30]  Charles T. Davies,et al.  Data Processing Spheres of Control , 1978, IBM Syst. J..