Synchronous parallel database transformations

K. Schewe, Q. Wang. Synchronous parallel database transformations. volume 7153, pages 370-383, 3, 2012.

Autoren
  • Klaus-Dieter Schewe
  • Qing Wang
Editoren
  • T. Lukasiewicz
  • A. Sali
BuchFoundations of Data and Knowledge Systems, Proc. FoIKS 2012
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band7153
ISBN978-3-642-28471-7
Monat3
Jahr2012
Seiten370-383
Abstract The DB-ASM thesis states that every database transformation can be expressed by a variant of Abstract State Machines. These machines permit unbounded parallelism only on the finite database part of a state. This paper generalises this work by permitting unbounded parallelism on the algorithmic partof the state as well. The ''parallel DB-ASM'-thesis results from combining Gurevich's parallel ASM thesis with the DB-ASM thesis. In doing so, it turns out that the postulates for synchronous parallel database transformations can be significantly simplified compared with the seminal work of Gurevich. The key idea is to generalise the notion of bounded exploration witnesses allowing them to include special non-ground terms.