Abstract
Database structuring is well understood since decades. The operating of databases has been based in the past on temporal logics and did not yet get an easy to understand formal underpinning. Therefore, conceptions like transaction and recovery are mainly discussed at the logical or operational level. This paper shows that database structuring and functionality can be defined within a uniform language. We base database semantical on the operational semantics of abstract state machines (ASM). This uniform mechanism allows to define the structuring, the functionality, the distribution and the interactivity of a database system in a way that supports abstract consideration at various layers of abstraction, that supports refinement of specifications to more detailed ones and that support proof of properties.
This is a preview of subscription content, log in via an institution to check access.
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
Bienemann, A., Schewe, K.-D., Thalheim, B.: Towards a theory of genericity based on government and binding. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 311–324. Springer, Heidelberg (2006)
Binemann-Zdanowicz, A., Thalheim, B.: Modeling of information services on the basis of ASM semantics. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 408–410. Springer, Heidelberg (2003)
Börger, E.: Discrete systems modeling. In: Encyclopedia of Physical Sciences and Technology, Academic Press, London (2001)
Börger, E., Stärk, R.: Abstract state machines-A method for high-level system design and analysis. Springer, Berlin (2003)
Fliedl, G., Kop, C., Mayerthaler, W., Mayr, H.C.: NTS gestützte Vorentwurfsschemaeinträge aus natürlichsprachlichen Anforderungsdefinitionen. In: Natürlichsprachlicher Entwurf von Informationssystemen, Konstanz, pp. 260–279. Universitätsverlag Konstanz (1996)
Goldin, D., Srinivasa, S., Thalheim, B.: IS = DBS + interaction-towards principles of information systems. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 140–153. Springer, Heidelberg (2000)
Lewerenz, J.: Human-computer interaction in heterogeneous and dynamic environments: A framework for its conceptual modelling and automatic customization. PhD thesis, Brandenburg University of Technology at Cottbus, Faculty Mathematics, Natural Sciences and Computer Science (2000)
Schellhorn, G.: ASM refinement and generalizations of forward simulation in data refinement: A comparison. Theor. Comput. Sci. 336(2–3), 403–435 (2005)
Schewe, K.-D., Thalheim, B.: Conceptual modelling of web information systems. Data and Knowledge Engineering 54, 147–188 (2005)
Schewe, K.-D., Thalheim, B.: Component-driven engineering of database applications. In: APCCM 2006, vol. 49, pp. 105–114 (2006)
Schewe, K.-D., Thalheim, B.: Design and Development of Web Information Systems. Springer, Heidelberg (forthcoming, 2008)
Schewe, K.D., Thalheim, B.: Web information systems: Usage, content, and functionality modelling. Technical Report 2004-3, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel (2004)
Thalheim, B.: Entity-relationship modeling — Foundations of database technology. Springer, Berlin (2000)
Thalheim, B.: Readings in fundamentals of interaction in information systems. Binder, C., Clauß, W., Düsterhöft, A., Feyer, T., Gutacker, T., Heinze, B., Lewerenz, J., Roll, M., Schewe, B., Schewe, K.-D., Seelig, K., Srinivasa, S., Thalheim B.: BTU-Cottbus (reprint, 2000), http://www.is.informatik.uni-kiel.de/~thalheim
Wegner, P., Goldin, D.: Interaction as a framework for modeling. In: Chen, P.P., Akoka, J., Kangassalu, H., Thalheim, B. (eds.) Conceptual Modeling. LNCS, vol. 1565, pp. 243–257. Springer, Heidelberg (1999)
Zimmermann, W., Thalheim, B.: Preface. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. V–VII. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thalheim, B., Schewe, KD. (2008). ASM Foundations of Database Management. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds) Information Systems and e-Business Technologies. UNISCON 2008. Lecture Notes in Business Information Processing, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78942-0_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-78942-0_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78941-3
Online ISBN: 978-3-540-78942-0
eBook Packages: Computer ScienceComputer Science (R0)