A customised ASM thesis for database transformations

Schewe Klaus-Dieter; Wang Qing: A customised ASM thesis for database transformations. In: Acta cybernetica, (19) 4. pp. 765-805. (2010)

Előnézet

Cikk, tanulmány, mű Schewe_2010_ActaCybernetica.pdf Letöltés (541kB) | Előnézet

Absztrakt (kivonat)

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 between database transformations and algorithms, which give rise to the formalisation of five postulates for database transformations. Then a variant of ASMs called Database Abstract State Machines (DB-ASMs) is developed, and we prove that DB-ASMs capture database transformations, i.e. the main result of the paper is that every database transformation stipulated by the postulates can be behaviourally simulated by a DB-ASM.

Mű típusa:	Cikk, tanulmány, mű
Rovatcím:	Regular papers
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2010
Kötet:	19
Szám:	4
ISSN:	0324-721X
Oldalak:	pp. 765-805
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38530/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 804-805. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:24
Utolsó módosítás:	2022. jún. 17. 11:14
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12893

Bővebben:

Tétel nézet