The Study on the Rule Reduction Algorithm about an Active Rule Set with Dependent Triggering Cycles
Xiong Zhong · 2006
Termination decision of an active rule set is an important problem in active database. Several recent works have suggested to prove termination using triggering and activation graphs. In these works, a crucial problem which should be solved is to compute the irreducible rule set of an active rule set. But the existing approaches cannot recognize some rules which should be reduced. Such concepts as independent triggering cycle, dependent triggering cycle, activation path, inhibited activation cycle and inhibited activation rule are presented in this paper. Based on these concepts, an improved rule reduction algorithm is given and much more reducible rules can be recognized through it.