共 1 条
关联图与主动规则集的终止性分析
被引：11
作者：
左万利
刘居红
刘淑芬
机构：
[1] 吉林大学计算机科学系!吉林长春
来源：
关键词：
主动数据库;
ECA-规则;
终止性;
静态分析;
关联图;
惰化图;
D O I：
10.13328/j.cnki.jos.2001.02.017
中图分类号：
TP311.13 [];
学科分类号：
1201 ;
摘要：
终止性反映了主动数据库系统良好的行为特性 .目前有关主动规则集终止性分析的主要依据是触发图和活化图 ,其分析结果是保守的 .为表达一个规则的动作可能使另一规则的条件为假的事实 ,引入了惰化图 ( deacti-vation graph) ,并与触发图和活化图相结合 ,定义了更为一般的关联图 ( relationship graph) .同时 ,给出了基于关联图的主动规则集终止性静态分析算法 ,提高了终止性判定的准确性 .
引用
收藏
页码：276 / 282
页数：7
相关论文