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

摘要：

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

关键词：主动数据库、ECA-规则、终止性、静态分析、关联图、惰化图

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金69673015

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：276-282