Discovering implicit integrity constraints in rule bases using metagraphs
Amit Ranjan Basu, Robert W. Blanning · 2002
A metagraph is a graph formalism that can be used to model the different components of a DSS and to analyze the interactions among them. One such component is a knowledge based system (KBS) in which domain knowledge is stored as if-then rules. In addition to such rules, a KBS can also contain a set of integrity constraints, which are used to manage the rule base both during updates and problem solving. We show how metagraph representation of a rule base can facilitate discovery of implicit integrity constraints in addition to explicitly stated ones.>