Skip navigation
Skip navigation

A Customised ASM Thesis for Database Transformations

Schewe, Klaus-Dieter; Wang, Qing (Ms)

Description

In order to establish a theoretical foundation for database transformations, we search for a universal computation model as an umbrella for queries and updates. As updates are fundamentally distinct from queries in many respects, computation models for queries cannot be simply extended to database transformations. This motivates the question whether Abstract State Machines (ASMs) can be used to characterise database transformations in general. In this paper we start examining the differences...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/66861
Source: Acta Cybernetica

Download

File Description SizeFormat Image
01_Schewe_A_Customised_ASM_Thesis_for_2010.pdf510.6 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator