Abstract
Complex applications consist of a large set of interrelated transactions. Often, it is very difficult for the application/transaction designer to get a grasp of the transitive relationships among the transactions of a complex application. In this paper, we discuss transitive termination dependencies under consideration of transaction compensation and present an algorithm to derive a set of rules for reasoning about transitive dependencies. These rules may help the designer in understanding the entire semantics of a complex application and detecting contradictory dependency specifications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. C. Attie, M. P. Singh, E. A. Emerson, A. Sheth, M. Rusinkiewicz. Scheduling Workflows by Enforcing Intertask Dependencies. Distributed Systems Engineering, 3(4):222–238, 1996.
A. Buchmann, M. T. Özsu, M. Hornick, D. Georgakopoulos, F. Manola. A Transaction Model for Active Distributed Object Systems. In A. K. Elmagarmid, ed., Database Transaction Models for Advanced Applications, pp. 123–151, Morgan Kaufmann, 1992.
P. K. Chrysanthis, K. Ramamritham. Synthesis of Extended Transaction Models Using ACTA. ACM Transaction on Database Systems, 19(3):450–491, 1994.
U. Dayal, M. Hsu, R. Ladin. A Transaction Model for Long-Running Activities. In G. M. Lohmann, A. Sernadas, and R. Camps, eds., Proc. of the 17th Int. Conf. on Very Large Data Bases, VLDB’91, pp. 113–122. Morgan Kaufmann, 1991.
H. Garcia-Molina. Using Semantic Knowledge for Transaction Processing in a Distributed Database. ACM TODS, 8(2):186–213, 1983.
D. Georgakopoulos, M. Hornick, P. Krychniak. An Environment for the Specification and Management of Extended Transactions in DOMS. In H.-J. Schek, A. P. Sheth, and B. D. Czejdo, eds., RIDE-IMS’93, Proc. of the 3rd Int. Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems, pp. 253–257. IEEE CS, 1993.
R. Günthör. The Dependency Manager: A Base Service for Transactional Workflow Management. In RIDE’96, Proc. of the 6th Int. Workshop on Research Issues in Data Engineering: Interoperability in Nontraditional Database Systems, pp. 86–95. IEEE CS, 1996.
K. Schwarz, C. Türker, G. Saake. Derived Transaction Termination Dependencies: An Algorithm for Computing Transitivity Rules. Preprint 7, Fakultät für Informatik, Universität Magdeburg, 1998.
K. Schwarz, C. Türker, G. Saake. Transitive Dependencies in Transaction Closures. In B. Eaglestone, B. C. Desai, J. Shao, eds., Proc. of the 1998 Int. Database Engineering and Applications Symposium (IDEAS’98), pp. 34–43. IEEE CS, 1998.
M. P. Singh. Synthesizing Distributed Constrained Events from Transactional Workflow. In S. Y. W. Su, ed., Proc. of the 12th IEEE Int. Conf. on Data Engineering, ICDE’96, pp. 616–623. IEEE CS, 1996.
D. Worah, A. Sheth. Transactions in Transactional Workflows. In S. Jajodia, L. Kerschberg, eds., Advanced Transaction Models and Architectures, chapter 1, pp. 3–34, Kluwer, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwarz, K., Türker, C., Saake, G. (1999). Computing Rules for Detecting Contradictory Transaction Termination Dependencies. In: Eder, J., Rozman, I., Welzer, T. (eds) Advances in Databases and Information Systems. ADBIS 1999. Lecture Notes in Computer Science, vol 1691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48252-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-48252-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66485-7
Online ISBN: 978-3-540-48252-9
eBook Packages: Springer Book Archive