Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution

Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to correct violations of database integrity. When constraints become violated due to an incorrect user transaction, rule computation is started to restore the database to a correct state. Since repair actions may be numerous and may conflict with each other, automated support for the analysis of their run-time behavior is necessary. The proposed technique helps the rule base administrator define a repair rule selection strategy such that the computation terminates for every input transaction, the final database state satisfies all the constraints, and the user's preferences among different ways to restore integrity are taken into account. In addition, it can be used by the rule designer to spot "dangerous" rules that may be subject to redesign. This problem is formulated as an optimization problem on directed hypergraphs, which we demonstrate to be NP-hard and which we solve by means of a heuristic algorithm.

[1]  Giorgio Gallo,et al.  Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..

[2]  Stefano Paraboschi,et al.  A Review of Repairing Techniques for Integrity Maintenance , 1993, Rules in Database Systems.

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

[4]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[5]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[6]  Bernhard Thalheim,et al.  Achieving consistency in active databases , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[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]  Susan Darling Urban,et al.  Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules , 1991, FMLDO.

[9]  C LockemannPeter,et al.  Reactive consistency control in deductive databases , 1991 .

[10]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

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

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

[15]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .