Abstract
The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.
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
Abiteboul, S., Hull, R., Vianu, V. (eds.): Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
Abiteboul, S., Kanellakis, P.C.: Object identity as a query language primitive. In: SIGMOD 1989. Proceedings of the 1989 ACM SIGMOD international conference on Management of data, pp. 159–173. ACM Press, New York (1989)
Abiteboul, S., Simon, E., Vianu, V.: Non-deterministic languages to express deterministic transformations. In: PODS 1990. Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 218–229. ACM Press, New York (1990)
Abiteboul, S., Vianu, V.: A translation language complete for database update and specification. In: PODS 1987. Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 260–268. ACM Press, New York (1987)
Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. Tech. Rep. RR-0900, 09 (1988)
Blass, A., Gurevich, Y.: Background, reserve, and gandy machines. In: Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic, pp. 1–17. Springer, London (2000)
Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
Blass, A., Gurevich, Y.: Background of computation. In: EATCS 1992. Bulletin of the European Association for Theoretical Computer Science (2007)
Cohen, S.: User-defined aggregate functions: bridging theory and practice. In: SIGMOD 2006. Proceedings of the 2006 ACM SIGMOD international conference on Management of data, pp. 49–60. ACM Press, New York (2006)
Grädel, E., Gurevich, Y.: Metafinite model theory. In: Leivant, D. (ed.) LCC 1994. LNCS, vol. 960, pp. 313–366. Springer, Heidelberg (1995)
Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77–111 (2000)
Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000)
Nanchen, S., Stärk, R.F.: A logic for secure memory access of abstract state machines. Theor. Comput. Sci. 336(2–3), 343–365 (2005)
Poetzsch-Heffter, A.: Deriving Partial Correctness Logics From Evolving Algebras. In: Pehrson, B., Simon, I. (eds.) IFIP 13th World Computer Congress, Technology/Foundations, pp. 434–439. Elsevier, Amsterdam, The Netherlands (1994)
Schönegge, A.: Extending dynamic logic for reasoning about evolving algebras
Stark, R., Nanchen, S.: A logic for abstract state machine. Journal of Universal Computer Science 7, 11 (2001)
Van den Bussche, J.: Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp (1993)
Van den Bussche, J., Van Gucht, D.: Semi-determinism. In: PODS 1992. Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 191–201. ACM Press, New York (1992)
Van den Bussche, J., Van Gucht, D.: Non-deterministic aspects of object-creating database transformations. In: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, pp. 3–16. Springer, London, UK (1993)
Van Den Bussche, J., Van Gucht, D., Andries, M., Gyssens, M.: On the completeness of object-creating database transformation languages. J. ACM 44(2), 272–319 (1997)
Wang, Q., Schewe, K.-D.: Axiomatization of database transformations. In: Proceedings of the ASM’07: The 14th International ASM Workshop (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Q., Schewe, KD. (2008). Towards a Logic for Abstract MetaFinite State Machines. In: Hartmann, S., Kern-Isberner, G. (eds) Foundations of Information and Knowledge Systems. FoIKS 2008. Lecture Notes in Computer Science, vol 4932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77684-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-77684-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77683-3
Online ISBN: 978-3-540-77684-0
eBook Packages: Computer ScienceComputer Science (R0)