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