This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution
January-February 1997 (vol. 9 no. 1)
pp. 173-178

Abstract—We present a technique for analyzing the run time behavior of integrity constraints repair actions, i.e., active database rules 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, an automated support to 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 solve by means of a heuristic algorithm.

[1] E. Baralis, S. Ceri, and S. Paraboschi, “Modularization Techniques for Active Rules Design,” Trans. Database Systems, vol. 21, no.1, pp. 1-29, 1996.
[2] E. Baralis, S. Ceri, and S. Paraboshi, “Runtime Detection of Non-Terminating Active Rule Systems,” Proc. Fourth Int'l Conf. Deductive and Object-Oriented Databases, T.W. Ling, A.O. Mendelzon, and L. Vieille eds., pp. 38-54, Dec. 1995.
[3] S. Ceri, P. Fraternali, and S. Paraboschi, "Constraint Management in Chimera," vol. 17, no. 2, pp. 4-8, June 1994.
[4] S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca, "Constaint Enforcement Through Production Rules: Putting Active Databases to Work," IEEE Data Eng., vol. 15, nos. 1-4, pp. 10-14, Dec. 1992.
[5] S. Ceri, P. Fraternali, S. Paraborchi, and L. Tanca, “Automatic Generation of Production Rules for Integrity Maintenance,” ACM Trans. Database Systems, vol. 19, no. 3, pp. 366-421, 1994.
[6] S. Ceri,J. Widom,“Deriving production rules for constraint maintenance,” Proc. Int’l Conf. Very Large Data Bases, 1990.
[7] P. Fraternali and S. Paraboschi, "A Review of Repairing Techniques for Integrity Maintenance," Proc. First Workshop Rules in Database Systems, N.W. Paton and M.H. Williams, eds., WICS, pp. 333-346, Edinburgh, Scotland. Berlin: Springer-Verlag, Aug. 1993.
[8] P. Fraternali and S. Paraboschi, "Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution," Technical Report 92-076, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 1995.
[9] G. Gallo, G. Longo, S. Nguyen, and S. Pallottino, "Directed Hypergraphs and Applications," Discrete Applied Math., vol. 42, pp. 177-201, 1993.
[10] M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness.New York: W.H. Freeman, 1979.
[11] A.P. Karadimce and S.D. Urban, "Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules," Proc. Third Int'l Workshop Foundations of Models and Languages for Data and Objects, pp. 77-102,Aigen, Austria, Sept. 1991.
[12] A.P. Karadimce and S.D. Urban, "Conditional Term Rewriting as a Formal Basis for Analysis of Active Database Rules," Proc. Fourth Int'l Workshop Research Issues in Data Eng., RIDE-ADS '94, pp. 156-162,Houston, Feb. 1994.
[13] G. Moerkotte and P.C. Lockemann, “Reactive Consistency Control in Deductive Databases,” ACM Trans. Database Systems, vol. 16, no. 4, pp. 670-702, 1991.
[14] J.M. Nicolas and K. Yazdanian, "Integrity Checking in Deductive Data Bases," Logic and Data Bases, pp. 325-343. Plenum Press, 1978.
[15] J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison-Wesley, Reading, Mass., 1984.
[16] K.D. Schewe and B. Thalheim, "Achieving Consistency in Active Databases," Proc. Fourth Int'l Workshop Research Issues in Data Eng., RIDE-ADS '94,Houston, Feb. 1994.

Index Terms:
Integrity constraints, active databases, production rules, algorithm complexity, hypergraph algorithms.
Citation:
Piero Fraternali, Stefano Paraboschi, "Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 1, pp. 173-178, Jan.-Feb. 1997, doi:10.1109/69.567060
Usage of this product signifies your acceptance of the Terms of Use.