A customised ASM thesis for database transformations

Acta Cybernetica

Volumn 19, Issue 4, 2010, Pages 765-805

  Schewe, Klaus Dieter ^a,b   Wang, Qing ^c  

^a SOFTWARE COMPETENCE CENTER HAGENBERG   (Austria)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^c UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

Abstract State Machine; Asm thesis; Database transformation

Indexed keywords

COMPUTATION THEORY;

ABSTRACT STATE MACHINES; ASM THESIS; COMPUTATION MODEL; DATABASE TRANSFORMATION; FORMALISATION; THEORETICAL FOUNDATIONS; UNIVERSAL COMPUTATIONS;

QUERY LANGUAGES;

EID: 78649902843     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (22)

1. Abiteboul, Serge and Kanellakis, Paris C. Object identity as a query language primitive. Journal of the ACM, 45(5):798-842, 1998.
2. Abiteboul, Serge and Vianu, Victor. Datalog extensions for database queries and updates. Journal of Computer and Systems Science, 43(1):62-124, 1991.
3. Beeri, Catriel, Milo, Tova, and Ta-Shma, Paula. On genericity and parametricity (extended abstract). In PODS'96: Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 104-116, New York, NY, USA, 1996. ACM.
4. Beeri, Catriel and Thalheim, Bernhard. Identification as a primitive of data models. In Polle, Torsten, Ripke, Torsten, and Schewe, Klaus-Dieter, editors, Fundamentals of Information Systems, pages 19-36. Kluwer Academic Publishers, Boston Dordrecht London, 1999.
5. Blass, Andreas and Gurevich, Jury. Abstract state machines capture parallel algorithms. ACM Transactions on Computational Logic, 4(4):578-651, 2003.
6. Börger, Egon and Stärk, Robert. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, Berlin Heidelberg New York, 2003.
7. Cohen, Sara. User-defined aggregate functions: bridging theory and practice. In SIGMOD'06: Proceedings of the 2006 ACM SIGMOD International Conference on the Management of Data, pages 49-60, New York, NY, USA, 2006. ACM Press.
8. Ebbinghaus, H.-D. and Flum, J. Finite Model Theory. Springer-Verlag, 2 edition, 1999.
9. Grädel, Erich and Gurevich, Yuri. Metafinite model theory. Information and Computation, 140(1), 1998.
10. Gurevich, Jury. Sequential abstract state machines capture sequential algorithms. ACM Transactions on Computational Logic, 1(1):77-111, 2000.
11. Gurevich, Yuri and Tillmann, Nikolai. Partial updates. Theoretical Computer Science, 336 (2-3): 311-342, 2005.
12. Gurevich, Yuri and Yavorskaya, Tanya. On bounded exploration and bounded nondeterminism. Technical Report MSR-TR-2006-07, Microsoft Research, January 2006.
13. Kirchberg, M., Schewe, K.-D., Tretiakov, A., and Wang, R. A multi-level architecture for distributed object bases. Data and Knowledge Engineering, 60(1):150-184, 2007.
14. Ma, Hui, Schewe, Klaus-Dieter, Thalheim, Bernhard, and Wang, Qing. A theory of data-intensive software services. Service Oriented Computing and Applications, 3(4):263-283, 2009.
15. Schewe, Klaus-Dieter and Thalheim, Bernhard. Fundamental concepts of object oriented databases. Acta Cybernetica, 11(4):49-84, 1993.
16. Schewe, Klaus-Dieter and Wang, Qing. XML database transformations. Journal of Universal Computer Science (to appear).
17. Van den Bussche, J. Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp, 1993.
18. Van den Bussche, Jan and Van Gucht, Dirk. Semi-determinism (extended abstract). In PODS'92: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 191-201, New York, NY, USA, 1992. ACM Press.
19. Van den Bussche, Jan and Van Gucht, Dirk. 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, pages 3-16, London, UK, 1993. Springer-Verlag.
20. Van den Bussche, Jan, Van Gucht, Dirk, Andries, Marc, and Gyssens, Marc. On the completeness of object-creating database transformation languages. J. ACM, 44(2):272-319, 1997.
21. Wang, Qing and Schewe, Klaus-Dieter. Axiomatization of database transformations. In Proceedings of the 14th International ASM Workshop (ASM 2007), University of Agder, Norway, 2007.
22. Wang, Qing and Schewe, Klaus-Dieter. Towards a logic for abstract metafinite state machines. In Hartmann, Sven and Kern-Isberner, Gabriele, editors, Foundations of Information and Knowledge Systems - 5th International Symposium (FoIKS 2008), volume 4932 of Lecture Notes in Computer Science, pages 365-380. Springer-Verlag, 2008.