Issue No. 01 - February (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.204091
<p>A rule-based approach for the automatic enforcement of consistency constraints is presented. In contrast to existing approaches that compile consistency checks into application programs, the approach centralizes consistency enforcement in a separate module called a knowledge-base management system. Exception handlers for constraint violations are represented as rule entities in the knowledge base. For this purpose, a new form of production rule called the activation pattern controlled rule is introduced: in contrast to classical forward chaining schemes, activation pattern controlled rules are triggered by the intent to apply a specific operation but not necessarily by the result of applying this operation. Techniques for implementing this approach are discussed, and experiments in speeding up the system performance are described. Furthermore, an argument is made for more tolerant consistency enforcement strategies, and how they can be integrated into the rule-based approach to consistency enforcement is discussed.</p>
rule-based consistency enforcement; exception handlers; knowledge-based systems; consistency constraints; consistency checks; application programs; knowledge-base management system; rule entities; production rule; activation pattern controlled rule; forward chaining; system performance; data integrity; knowledge based systems
P. Werstein and C. Eick, "Rule-Based Consistency Enforcement for Knowledge-Based Systems," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 52-64, 1993.