关联图与主动规则集的终止性分析

终止性反映了主动数据库系统良好的行为特性 .目前有关主动规则集终止性分析的主要依据是触发图和活化图 ,其分析结果是保守的 .为表达一个规则的动作可能使另一规则的条件为假的事实 ,引入了惰化图 ( deacti-vation graph) ,并与触发图和活化图相结合 ,定义了更为一般的关联图 ( relationship graph) .同时 ,给出了基于关联图的主动规则集终止性静态分析算法 ,提高了终止性判定的准确性 .