Schewe Klaus-Dieter and Wang Qing: A customised ASM thesis for database transformations. In: Acta cybernetica, (19) 4. pp. 765-805. (2010)
Preview |
Cikk, tanulmány, mű
Schewe_2010_ActaCybernetica.pdf Download (541kB) | Preview |
Abstract
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.
| Item Type: | Article |
|---|---|
| Heading title: | Regular papers |
| Journal or Publication Title: | Acta cybernetica |
| Date: | 2010 |
| Volume: | 19 |
| Number: | 4 |
| ISSN: | 0324-721X |
| Page Range: | pp. 765-805 |
| Language: | English |
| Place of Publication: | Szeged |
| Related URLs: | http://acta.bibl.u-szeged.hu/38530/ |
| Uncontrolled Keywords: | Számítástechnika, Kibernetika |
| Additional Information: | Bibliogr.: p. 804-805. ; összefoglalás angol nyelven |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Date Deposited: | 2016. Oct. 15. 12:24 |
| Last Modified: | 2022. Jun. 17. 11:14 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12893 |
Actions (login required)
 |
View Item |
