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

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

一种业务规则的描述与分析方法

业务规则在信息系统分析与设计中的应用越来越受到人们的重视。论文提出了一种业务规则的描述方法 。