Abstract
Middleware tools are generally used to glue together distributed, heterogeneous systems into a coherent composite whole. Unfortunately, there is no clear conceptual framework in which to reason about transactional correctness in such an environment. This paper is a first attempt at developing such framework. Unlike most existing systems, where concurrent executions are controlled by a centralized scheduler, we will assume that each element in the system has its own independent scheduler receiving input from the schedulers of other elements and producing output for the schedules of yet other elements in the system. In this paper we analyze basic configurations of such composite systems and develop correctness criteria for each case. Moreover, we also show how these ideas can be used to characterize and improve different transaction models such as distributed transactions, sagas, and federated database transactions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Alonso, S. Blott, A. Fessler, and H.-J. Schek. Correctness and parallelism in composite systems. In Proc. of the 16th Symp. on Principles of Database Systems (PODS’97), Tucson, Arizona, May 1997.
G. Alonso, R. Vingralek, D. Agrawal, Y. Breitbart, A. El Abbadi, H.-J. Schek, and G. Weikum. Unifying concurrency control and recovery of transactions. Information Systems, 19(1):101–115, Jan. 1994. An extended abstract of this paper appeared in the Proceedings of the 4th International Conference on Extending Database Technology, EDBT’94. March, 1994, pages 123–130.
C. Beeri, P. A. Bernstein, and N. Goodman. A model for concurrency in nested transactions systems. Journal of the ACM, 36(2):230–269, Apr. 1989.
C. Beeri, H.-J. Schek, and G. Weikum. Multilevel transaction management: Theoretical art or practical need? In Proceedings of the International Conference on Extending Database Technology, number 303 in Lecture Notes in Computer Science, pages 134–154, Venice, Italy, Mar. 1988. Springer-Verlag, New York.
P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987.
Y. Breitbart, H. Garcia-Molina, and A. Silberschatz. Overview of multidatabase transaction management. The VLDB Journal, (1):181–239, 1992.
H. García-Molina and K. Salem. Sagas. In Proc. 1987 SIGMOD International Conference on Management of Data, pages 249–259, May 1987.
D. Georgakopoulos, M. Rusinkiewicz, and A. Sheth. Using tickets to enforce the serializability of multidabase transactions. IEEE Knowl. and Data Engineering, Feb. 1994.
J. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, M.I.T. Laboratory for Computer Science, Cambridge, Massachusetts, MIT Press, 1981.
J. E. B. Moss, N. D. Griffith, and M. H. Graham. Abstraction in recovery management. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 72–83, 1986.
C. Pu, G. Kaiser, and N. Hutchinson. Split-Transactions for Open-Ended Activities. In Proceedings of the 14th International Conference on Very Large Databases, Los Angeles, pages 26–37, 1988.
H.-J. Schek, G. Weikum, and W. Schaad. A Multi-Level Transaction Approach to Federated Transaction Management. In Proceedings of the International Workshop on Interoperability in Multi-database Systems, Research Issues in Data Engineering (IEEE-RIDE-IMS), Kyoto, Apr. 1991.
R. Vingralek, H. Hasse, Y. Breitbart, and H.-J. Schek. Unifying concurrency control and recovery of transactions with semantically rich operations. Journal of Theoretical Computer Science, 1998.
G. Weikum. Principles and Realisation Strategies of Multilevel Transaction Management. ACM Transactions on Database Systems, 16(1):132, March 1991.
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
Alonso, G., Feßler, A., Pardon, G., Schek, HJ. (1999). Transactions in Stack, Fork, and Join Composite Systems. In: Beeri, C., Buneman, P. (eds) Database Theory — ICDT’99. ICDT 1999. Lecture Notes in Computer Science, vol 1540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49257-7_11
Download citation
DOI: https://doi.org/10.1007/3-540-49257-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65452-0
Online ISBN: 978-3-540-49257-3
eBook Packages: Springer Book Archive