含环触发图对应的主动规则集可终止性分析

• 作者: 任超 赵龄强 郝忠孝
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 主动数据库 ECA规则 规则触发-依赖图 触发图 终止性分析
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 数据库技术
• 页码范围: 2199-2205
• 页数: 7页
• 分类号: TP311.13
• 字数: 6119字
• 语种: 中文

摘要

主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念.以此为基础,提出了用规则触发-依赖图(T-DG)方法来分析主动规则集的终止性.特别讨论了判定含环的触发图(TG)对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝忠孝	哈尔滨理工大学计算机与控制学院	152	1110	15.0	24.0
10	赵龄强	哈尔滨理工大学计算机与控制学院	12	51	5.0	6.0