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

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

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分析算法并证明了其正确性。