Informatics, TU Vienna

A Customised ASM Thesis for Database Transformations

In order to establish a theoretical foundation for database transformations, a universal computation model as an umbrella for queries and updates is needed.

Abstract

In order to establish a theoretical foundation for database transformations, a universal computation model as an umbrella for queries and updates is needed. As updates are fundamentally distinct from queries in many respects, computation models for queries canot be simply extended to database transformations. This motivates the question whether Abstract State Machines (AMSs) can be used to characterise database transormations in general.

In the talk I will start examining the differences between database transformations and algorithms, which give rise to the formalisation of five postulates for database transformations. Then a variant of ASMs called Abstract Database Transformation Machines (ADTMs) is developed, and I will sketch the proof that ADTMs capture database transformations, i.e. the main result is that every database transformation stipulated b the postulates can be behaviourally simulated by an ADTM.

Biographie

Klaus-Dieter Schewe hat an der Universitaet Bonn Mathematik und Informatik studiert und dort 1985 mit einer Dissertation im Bereich modularer Darstellungstheorie promoviert. Nach einigen Jahren in der Industrie (Ploenzke, Bosch, Philips) ist er 1990 zunaechst an die Universitaet Hamburg zurueckgekehrt und hat sich seitdem in der Forschung mit Datenbanktheorie, formalen Entwicklungsmethoden und konzeptioneller Modellierung im weiteren Sinne beschaeftigt. 1995 hat er an der BTU Cottbus habilitiert, und nach fuenf Jahren an der TU Clausthal ist er seit 2000 Professor in Neuseeland. Seine aktuellen Forschungsinteressen sind Abstract State Machines, Theorie baumorientierter, komplexwertiger Datenbanken und logische Grundlagen von Webinformationssystemen.

Hinweis

Mit Unterstützung des Wolfgang-Pauli-Instituts und des Zentrums fuer Informatikforschung.