主动规则可终止性的动态分析方法

• 作者: 杨波 王海洋 董继润
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 主动数据库 复合事件 可终止性 动态分析 规则集合
• 年，卷（期）: 2000,（8）
• 所属期刊栏目: 软件技术
• 页码范围: 1018-1024
• 页数: 7页
• 分类号: TP311.13
• 字数: 6652字
• 语种: 中文

摘要

判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时.提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法.该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海洋	山东大学计算机科学系	83	999	16.0	28.0
2	杨波	山东大学计算机科学系	55	560	15.0	21.0
3	董继润	山东大学计算机科学系	5	70	4.0	5.0