Abstract
The concept of transaction is highly significant in the context of data bases. We broaden this concept by making it refer to any atomic operation that changes the state of a software system or its environment. This allows us to consider software systems as composed of transactional and procedural computations. We discuss the specification of transactional computations in some detail. However, our primary aim is to identify procedural and transactional computation as two well-defined foci for research, and to consider transactional computation as a common foundation of information systems and data base management.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Comp. Prog. 8 (1987) 231–274.
Stonebraker, M., Anton, J., Hanson, E.: Extending a database system with procedures. ACM Trans. Database Syst. 12 (1987) 350–376.
Mueck, T.A.: Active databases: concepts and design support. Advances in Computers, Vol. 39. Academic Press (1994) 107–189.
Thorin, M.: Real-time Transaction Processing. Macmillan (1992).
Babin, G., Lustman, F., Shoval, P.: Specification and design of transactions in information systems: a formal approach. IEEE Trans. Software Eng. 17 (1991) 814–829.
Elmagarmid, A.K., Leu, Y., Mullen, J.G., Bukhres, O.: Introduction to advanced transaction models. In: Elmagarmid, A.K. (ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann (1992) 33–52.
Berztiss, A.: Programming with Generators-An Introduction. Ellis Horwood (1990).
Jones, C.B.: The metalanguage: a reference manual. In: Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, Vol. 61. Springer-Verlag (1978) 218–277.
Spivey, J.M.: Understanding Z. Cambridge University Press (1988).
Cohen, B.W., Harwood, W.T., Jackson, M.I.: The Specification of Complex Systems. Addison-Wesley (1986).
Jackson, D.: Structuring Z specifications with views. ACM. Trans. Software Eng. and Methodology 4 (1995) 365–389.
Morgan, C.: Telephone network. In: Hayes, I. (ed.): Specification Case Studies. Prentice-Hall (1987) 73–87.
Berztiss, A.: Software Methods for Business Reengineering. Springer (1996).
Davenport, T.H.: Process Innovation-Reengineering Work through Information Technology. Harvard Business School Press (1993).
Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Eng. 17 (1991) 259–273.
Berztiss, A.T.: A linkage mechanism for transactions. To be published.
Welty, C., Stemple, D.W.: Human factors comparison of a procedural and a nonprocedural query language. ACM Trans. Database Syst. 6 (1981) 626–649.
Berztiss, A.T.: The query language Vizla. IEEE Trans. Knowledge and Data Engineering 5 (1993) 813–825.
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
Berztiss, A. (1999). Transactional Computation. In: Bench-Capon, T.J., Soda, G., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1999. Lecture Notes in Computer Science, vol 1677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48309-8_77
Download citation
DOI: https://doi.org/10.1007/3-540-48309-8_77
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66448-2
Online ISBN: 978-3-540-48309-0
eBook Packages: Springer Book Archive