Ordering and selecting production rules for constraint maintenance: Complexity and heuristic solution

IEEE Transactions on Knowledge and Data Engineering

Volumn 9, Issue 1, 1997, Pages 173-178

  Fraternali, Piero ^b   Paraboschi, Stefano ^a,b  

^a IEEE   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

Active databases; Algorithm complexity; Hypergraph algorithms; Integrity constraints; Production rules

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATABASE SYSTEMS; HEURISTIC PROGRAMMING; OPTIMIZATION; RESPONSE TIME (COMPUTER SYSTEMS);

ACTIVE DATABASES; HYPERGRAPH ALGORITHMS; INTEGRITY CONSTRAINTS; INTEGRITY CONSTRAINTS REPAIR ACTIONS; PRODUCTION RULES;

KNOWLEDGE BASED SYSTEMS;

EID: 0030784486     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.567060     Document Type: Article

References (16)

1. E. Baralis, S. Ceri, and S. Paraboschi, "Modularization Techniques for Active Rules Design," ACM Trans. Database Systems, vol. 21, no. 1, pp. 1-29, Mar. 1996.
2. E. Baralis, S. Ceri, and S. Paraboschi, "Run-Time Detection of Non-Terminating Active Rule Systems," Proc. Conf. Deductive and Object-Oriented Databases, DOOD '95, LNCS, pp. 38-54, Singapore, 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. Paraboschi, and L. Tanca, "Automatic Generation of Production Rules for Integrity Maintenance," ACM Trans. Database Systems, vol. 19, no. 3, pp. 367-422, Sept. 1994.
6. S. Ceri and J. Widom, "Deriving Production Rules for Constraint Maintenance," Proc. 16th Int'l Conf. Very Large Data Bases, D. McLeod, R. Sacks-Davis, and H. Schek, eds., pp. 566-577, Brisbane, Australia, Aug. 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. Garey and D.S. Johnson, Computer and Intractability - A Guide to the Theory of NP-Completeness. Freeman and Co., 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. Karadimoe and S.D. Urban, "Conditional Term Rewriting as a Formal Basis for Analysis of Active Database Rules," Proc. Fourth Int'l Workshop Research Issues Data Eng., RIDE-ADS'94, 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, Dec. 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 Series in Artificial Intelligence. Reading, Mass.: Addison-Wesley, 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.