Abstract:

ECA rules termination is a key problem in ACDB. Firstly, triggering time sequence about triggering edge, activation edge and deactivation edge is analyzed. Secondly, condition asseveration function is constructed to illustrate the effect of activation edge and deactivation edge on ECA rules. Combination time sequence of Triggering edge, detriggering edge and activation edge are proposed to analyze triggering in ECA. Finally, Selfdependent rules judgment algorithm in irreducible rule set, which is proposed by Barakis R, is improved further, Self triggering rules that cause cyclic structure are discussed deeply, and a new self-dependent rules judgment algorithm is proposed. The algorithm can find cyclic triggering in irreducible rule set, then self-triggering rules are independently processed so as to interrupt the triggering ring, hence efficiently improving the judgment ability of active rules termination problem.

Key words: active rules;termination analysis;selfdependent rules;irreducible rule set