Digital Symposium Collection 2000

Correctness in General Configurations of Transactional Components Gustavo Alonso, Armin Fessler, Guy Pardon, and Hans-Jörg Schek   View Paper (PDF)   Return to Transactions Abstract From a transactional point of view, composite systems are component based applications in which each component has its own transaction management logic. These systems are highly relevant in practice since they are likely to be the standard architecture for many future distributed applications. Unfortunately, there is no appropriate conceptual framework in which to reason about such systems. Following up on existing work that addressed special cases of composite systems, in this paper we tackle the problem of general composite systems, i.e., those with arbitrary configurations. We propose a correctness criterion, develop a new proof technique that allows us to address arbitrary configurations, and discuss several important issues related to concurrency control in distributed systems. References Note: References link to DBLP on the Web. [ABFS97] Gustavo Alonso , Stephen Blott , Armin Fessler , Hans-Jörg Schek : Correctness and Parallelism of Composite Systems. PODS 1997 : 197-208 [AFPS99] Gustavo Alonso , Armin Fessler , Guy Pardon , Hans-Jörg Schek : Transactions in Stack, Fork, and Join Composite Systems. ICDT 1999 : 150-168 [BBG89] Catriel Beeri , Philip A. Bernstein , Nathan Goodman : A Model for Concurrency in Nested Transactions Systems. JACM 36(2) : 230-269(1989) [BHG87] Philip A. Bernstein , Vassos Hadzilacos , Nathan Goodman : Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5 Contents [BSW88] Catriel Beeri , Hans-Jörg Schek , Gerhard Weikum : Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988 : 134-154 [GR93] Jim Gray , Andreas Reuter : Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2 Contents [Mos85] ... [PA] ... [Sch96] Werner Schaad : Trabsaktionsverwaltung in heterogenen, föderierten Datenbanksystemen. DISDBIS Vol. 12 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-412-9 [SWS91] Hans-Jörg Schek , Gerhard Weikum , Werner Schaad : A Multi-Level Transaction Approach to Federated DBMS Transaction Management. RIDE-IMS 1991 : 0- [Wei91] Gerhard Weikum : Principles and Realization Strategies of Multilevel Transaction Management. TODS 16(1) : 132-180(1991) BIBTEX @inproceedings{DBLP:conf/pods/AlonsoFPS99,   author    = {Gustavo Alonso and                 Armin Fessler and                 Guy Pardon and                 Hans-J{\"o}rg Schek},    title     = {Correctness in General Configurations of Transactional Components},    booktitle = {Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium                 on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,                 Pennsylvania},    publisher = {ACM Press},    year      = {1999},    isbn      = {1-58113-062-7},    pages     = {285-293},    crossref  = {DBLP:conf/pods/99},    bibsource = {DBLP, http://dblp.uni-trier.de} } }, Copyright(C) 2000 ACM