基于复合事件规则的主动数据库动态分析模型

摘要：

支持复合事件的规则机制是当前主动数据库所采取的主要模式，而要准确预测规则集的执行情况是相当困难的。该文提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型，归结出主动规则可终止的充分必要条件。该模型还可以用于主动规则的辅助设计和验证。

关键词： 复合事件 ECA规则 可终止性判定 触发集 循环等价类

作者: 杨波 王海洋 董继润

作者单位: 大学计算机科学系(济南) 院计算技术研究所

会议类型: 国内会议

会议名称: 第十六届全国数据库学术会议

会议地点: 兰州

会议语种:中文

页码: 122～127

在线出版日期: 1999-08-01（万方平台首次上网日期，不代表论文的发表时间）