PEARD: A Prototype Environment for Active Rule Debugging

This research has investigated dynamic, execution-based rule analysis through the development of a Prototype Environment for Active Rule Debugging, called PEARD. PEARD simulates the execution of active database rules, supporting the Event-Condition-Action rule paradigm. Rule definition is flexible, where changes to rules can be applied immediately during a debugging session without recompiling the system. A breakpoint debugging tool allows breakpoints to be set so that the state of variables may be inspected and changed anytime a breakpoint is reached during rule execution. A rule visualization tool displays the rule triggering process in graph form, supporting different visualization granularities to help the user to understand rule execution. Color coding is also used as part of the visualization tool to help the user see where the different parts of an ECA rule are executed due to deferred coupling modes. Users can examine different parts of the rule graph display to inspect the state of a transaction at different rule execution points. Other debugging features include a means for detecting potential cycles in rule execution and a utility to examine different rule execution paths from the same point in the rule triggering process. Our experience with PEARD has helped to identify some of the useful functional components of an active rule debugging tool and to identify research directions for future active rule development environments.

[1]  John V. Harrison,et al.  Integrating Active and Deductive Rules , 1993, Rules in Database Systems.

[2]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

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

[4]  Susan D. Urban,et al.  Conditional Term Rewriting as a Formal Basis for Active Database Rules. , 1994 .

[5]  Norman W. Paton,et al.  DEAR: a DEbugger for Active Rules in an object-oriented context , 1993, Rules in Database Systems.

[6]  Susan Darling Urban,et al.  Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules , 1991, FMLDO.

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

[8]  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.

[9]  Mokrane Bouzeghoub,et al.  VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases , 1995, Rules in Database Systems.

[10]  Michael Stonebraker,et al.  The Integration of Rule Systems and Database Systems , 1992, IEEE Trans. Knowl. Data Eng..

[11]  Lois M. L. Delcambre,et al.  Constraint Analysis: A Design Process for Specifying Operations on Objects , 1990, IEEE Trans. Knowl. Data Eng..

[12]  Danilo Montesi,et al.  A Rewriting Technique for Implementing Active Object Systems , 1994, ISOOMS.

[13]  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.

[14]  Suzanne W. Dietrich,et al.  CDOL: A Comprehensive Declarative Object Language , 1997, Data Knowl. Eng..

[15]  Sharma Chakravarthy,et al.  A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases , 1995, Rules in Database Systems.

[16]  Susan Darling Urban,et al.  A framework for declarative updates and constraint maintenance in object-oriented databases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[17]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

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

[19]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[20]  Letizia Tanca,et al.  Active Rule Management in Chimera , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.

[21]  Helge Behrends,et al.  Simulation-based debugging of active databases , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

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

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