Static analysis techniques for predicting the behavior of active database rules
Alex Aiken, Joseph M. Hellerstein, Jennifer Widom · ACM Transactions on Database Systems · 1995
This article gives methods for statically analyzing sets of active database 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 .