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

摘要：

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

关键词：主动数据库、ECA规则、规则触发-依赖图、触发图、终止性分析

所属期刊栏目：42

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家自然科学基金F00-06

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

页数：共7页

页码：2199-2205