Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Static Analysis Techniques for Predicting the Behavior of Database Production Rules
 

Summary: Static Analysis Techniques for
Predicting the Behavior of Database Production Rules
Alexander Aiken
Jennifer Widom
Joseph M. Hellerstein \Lambda
IBM Almaden Research Center
650 Harry Road
San Jose, CA 95120
faiken,widomg@almaden.ibm.com, hellers@cs.wisc.edu
Abstract
Methods are given for statically analyzing sets of database production rules to determine if
the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique final database
state, and (3) guaranteed to produce a unique stream of observable actions. If the analysis
determines 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 analysis
methods are presented in the context of the Starburst Rule System.
1 Introduction
Production rules in database systems allow specification of data manipulation operations that are
executed automatically whenever certain events occur or conditions are met, making the database
system active [DW92]. Database production rules provide a general and powerful mechanism for

  

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

 

Collections: Computer Technologies and Information Sciences