Digital Symposium Collection 2000

Concurrency Control and Recovery in Transactional Process Management Heiko Schuldt, Gustavo Alonso, and Hans-Jörg Schek   View Paper (PDF)   Return to Transactions Abstract The unified theory of concurrency control and recovery integrates atomicity and isolation within a common framework, thereby avoiding many of the shortcomings resulting from treating them as orthogonal problems. This theory can be applied to the traditional read/write model as well as to semantically rich operations. In this paper, we extend the unified theory by applying it to generalized process structures, i.e., arbitrary partially ordered sequences of transaction invocations. Using the extended unified theory, our goal is to provide a more flexible handling of concurrent processes while allowing as much parallelism as possible. Unlike in the original unified theory, we take into account that not all activities of a process might be compensatable and the fact that these process structures require transactional properties more general than in traditional ACID transactions. We provide a correctness criterion for transactional processes and identity the key points in which the more flexible structure of transactional processes implies differences from traditional transactions. References Note: References link to DBLP on the Web. [AAHD97] I. Arpinar , Sena Nural Arpinar , Ugur Halici , Asuman Dogac : Correctness of Workflow in the Presence of Concurrency. NGITS 1997 : 0- [ABFS97] Gustavo Alonso , Stephen Blott , Armin Fessler , Hans-Jörg Schek : Correctness and Parallelism of Composite Systems. PODS 1997 : 197-208 [AFH+99] Gustavo Alonso , U. Fiedler , Claus Hagen , A. Lazcano , Heiko Schuldt , N. Weiler : WISE: Business to Business E-Commerce. RIDE 1999 : 132-139 [AFPS99] Gustavo Alonso , Armin Fessler , Guy Pardon , Hans-Jörg Schek : Transactions in Stack, Fork, and Join Composite Systems. ICDT 1999 : 150-168 [Alo97] ... [AVA+94] Gustavo Alonso , Radek Vingralek , Divyakant Agrawal , Yuri Breitbart , Amr El Abbadi , Hans-Jörg Schek , Gerhard Weikum : Unifying concurrency control and recovery of transactions. IS 19(1) : 101-115(1994) [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 [ELLR90] Ahmed K. Elmagarmid , Yungho Leu , Witold Litwin , Marek Rusinkiewicz : A Multidatabase Transaction Model for InterBase. VLDB 1990 : 507-518 [Elm92] Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3 Contents [GHKM94] Dimitrios Georgakopoulos , Mark F. Hornick , Piotr Krychniak , Frank Manola : Specification and Management of Extended Transactions in a Programmable Transaction Environment. ICDE 1994 : 462-473 [GHS95] Dimitrios Georgakopoulos , Mark F. Hornick , Amit P. Sheth : An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2) : 119-153(1995) [JK97] Sushil Jajodia , Larry Kerschberg (Eds.): Advanced Transaction Models and Architectures. Kluwer 1997, ISBN 0-7923-9880-7 Contents [KR98] Mohan Kamath , Krithi Ramamritham : Failure Handling and Coordinated Execution of Concurrent Workflows. ICDE 1998 : 334-341 [Ley95] Frank Leymann : Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems. BTW 1995 : 51-70 [MRSK92] Sharad Mehrotra , Rajeev Rastogi , Henry F. Korth , Abraham Silberschatz : A Transaction Model for Multidatabase Systems. ICDCS 1992 : 56-63 [NSSW94] ... [RSS97] ... [SAS99] ... [SST98] ... [SWY93] Hans-Jörg Schek , Gerhard Weikum , Haiyan Ye : Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993 : 300-311 [VHYBS98] Radek Vingralek , H. Hasse-Ye , Yuri Breitbart , Hans-Jörg Schek : Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations. TCS 190(2) : 363-396(1998) [WR92] Helmut Wächter , Andreas Reuter : The ConTract Model. Database Transaction Models for Advanced Applications 1992 : 219-263 [ZNBB94] Aidong Zhang , Marian H. Nodine , Bharat K. Bhargava , Omran A. Bukhres : Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. SIGMOD Conference 1994 : 67-78 BIBTEX @inproceedings{DBLP:conf/pods/SchuldtAS99,   author    = {Heiko Schuldt and                 Gustavo Alonso and                 Hans-J{\"o}rg Schek},    title     = {Concurrency Control and Recovery in Transactional Process Management},    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     = {316-326},    crossref  = {DBLP:conf/pods/99},    bibsource = {DBLP, http://dblp.uni-trier.de} } }, Copyright(C) 2000 ACM