基于增强条件公式的主动规则集可终止性判定

• 作者: 熊中敏 赵梦露 黄冬梅
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 主动数据库 规则分析 活化路径 增强条件公式 可终止性
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 数据库与数据挖掘
• 页码范围: 163-168
• 页数: 6页
• 分类号: TP311.131
• 字数: 6035字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.01.028

摘要

主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触发环时,现有方法不能准确判定它是可终止的.为此,提出了触发环的执行序列的概念和建立包含可更新变量的增强条件公式的方法,新的判定方法将触发环和执行语义有机地结合在一起,较现有方法可以发现更多的可终止性情形,同时给出了新算法的可终止性和正确性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄冬梅	上海海洋大学信息学院	110	578	11.0	18.0
2	熊中敏	上海海洋大学信息学院	11	24	3.0	4.0
3	赵梦露	上海海洋大学信息学院	2	2	1.0	1.0