TU Wien Informatics

20 Years

A Customised ASM Thesis for Database Transformations

  • 2009-01-23
  • Research

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.

Speakers

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!