3 Rule Analysis

Rules in active database systems can be very difficult to program, due to the unstructured and unpredictable nature of rule processing. In this chapter static analysis techniques for predicting useful properties for active rule sets are described. In particular, we focus on methods to determine at compile­ time whether a given rule set is guaranteed to terminate, and whether rule execution is confluent (guaranteed to have a unique final state).

[1]  Jennifer Widom,et al.  Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.

[2]  Andreas Heuer,et al.  An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS , 1995, ARTDB.

[3]  Jennifer Widom,et al.  An algebraic approach to static analysis of active database rules , 2000, TODS.

[4]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[5]  Elena Baralis,et al.  Improving Rule Analysis by Means of Triggering and Activation Graphs , 1995, Rules in Database Systems.

[6]  Susan Darling Urban,et al.  Refined triggering graphs: a logic-based approach to termination analysis in an active object-oriented database , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[7]  Susan Darling Urban,et al.  Conditional term rewriting as a formal basis for analysis of active database rules , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[8]  Elena Baralis,et al.  Run-time Detection of Non-Terminating Active Rule Systems , 1995, DOOD.

[9]  Arno Siebes,et al.  Termination and confluence of rule execution , 1993, CIKM '93.

[10]  Meichun Hsu,et al.  A Theory for Rule Triggering Systems , 1990, EDBT.

[11]  Elena Baralis,et al.  Modularization techniques for active rules design , 1996, TODS.

[12]  Jennifer Widom,et al.  An Algebraic Approach to Rule Analysis in Expert Database Systems , 1994, VLDB.

[13]  Rainer Unland,et al.  Using Petri nets for rule termination analysis , 1996, CIKM '96.