Summary: Proc. of 1992 ACM­SIGMOD Conference, pages 59--68
Behavior of Database Production Rules:
Termination, Confluence, and Observable Determinism
Alexander Aiken
Jennifer Widom
Joseph M. Hellerstein \Lambda
IBM Almaden Research Center
650 Harry Road
San Jose, CA 95120
faiken, widomg@almaden.ibm.com, joey@postgres.berkeley.edu
Abstract. Static analysis methods are given for determin­
ing whether arbitrary sets of database production rules are
(1) guaranteed to terminate; (2) guaranteed to produce a
unique final database state; (3) guaranteed to produce a
unique stream of observable actions. When the analysis de­
termines that one of these properties is not guaranteed, it
isolates the rules responsible for the problem and determines
criteria that, if satisfied, guarantee the property. The anal­
ysis methods are presented in the context of the Starburst
Rule System; they will form the basis of an interactive devel­

Source: Aiken, Alex - Department of Computer Science, Stanford University

Collections: Computer Technologies and Information Sciences