基于活化路径同步关系的规则集可终止性判定

• 作者: 熊中敏 郝忠孝
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 主动数据库 规则分析 活化路径 同步关系 可终止性
• 年，卷（期）: 2006,（4）
• 页码范围: 546-550
• 页数: 5页
• 分类号: TP311.131
• 字数: 5660字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2006.04.016

摘要

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝忠孝	哈尔滨理工大学计算机与控制学院	152	1110	15.0	24.0
10	熊中敏	哈尔滨理工大学计算机与控制学院	7	23	3.0	4.0