Improving Rule Analysis by Means of Triggering and Activation Graphs

In this paper, we propose new methods for the compile-time analysis of the behavior of active rules, based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called triggering and activation graphs respectively. Analysis techniques presented in this paper are focused on the problem of termination; results provide a systematic identification of reactive behaviors which can be guaranteed to terminate and reactive behaviors which may lead to infinite rule processing.

[1]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

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

[3]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

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

[5]  Albert Mo Kim Cheng,et al.  Termination Analysis of OPS5 Expert Systems , 1994, AAAI.

[6]  Jennifer Widom,et al.  Deriving Incremental Production Rules for Deductive Data , 1994, Inf. Syst..

[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]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[9]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[10]  Jennifer Widom.  Research issues in active database systems: report from the closing panel at RIDE-ADS '94 , 1994, SGMD.

[11]  Jennifer Widom,et al.  Better Termination Analysis for Active Databases , 1993, Rules in Database Systems.

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

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

[14]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[15]  Jennifer Widom,et al.  Managing Semantic Heterogeneity with Production Rules and Persistent Queues , 1993, VLDB.

[16]  Jennifer Widom,et al.  Active Database Systems , 1995, Modern Database Systems.