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

• 作者: 刘居红 刘淑芬 左万利
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 主动数据库 ECA-规则 终止性 静态分析 关联图 惰化图
• 年，卷（期）: 2001,（2）
• 页码范围: 276-282
• 页数: 7页
• 分类号: TP311
• 字数: 5864字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘淑芬	吉林大学计算机科学系	96	764	14.0	21.0
2	左万利	吉林大学计算机科学系	88	1273	20.0	31.0
3	刘居红	吉林大学计算机科学系	2	33	2.0	2.0