近年来主动数据库已经成为数据库研究领域的热点。主动数据库技术是为实现对于数据完整性和一致性的自动维护和满足实时信息处理的需要应运而生的,是数据库理论发展的一个重要里程碑,它使数据库系统能够自动对数据库内部与外界的状态进行监控分析,并做出实时响应成为可能。Alexander Aiken 指出,在静态分析方法中,主要分析规则三个方面:可终止性、汇流性和可视性。可终止性是指规则是否保证在任何状态下,经过一系列改变,执行能够终止。主动数据库中规则动作执行引发的事件会触发其它规则或触发相同的规则,规则间的相互触发可能会出现永不终止的情况,从而导致系统失败。在规则集的触发图(Triggering Graph)中没有回路,则集合R中的规则保证终止。汇流性是指如果在规则的执行过程中,规则被考虑的优先顺序是否影响数据库的最终状态。判断汇流性,首先要考虑规则是否是可交换的。满足汇流需要,并且在R的任何执行图中没有无限路径,R中的规则是可汇流的。主动规则集的可终止性判定是一个直接影响主动数据库设计的关键问题之一。Andrew Dinn等研究主动数据库系统中规则终止特性的静态分析技术,通过对基本触发图分析方法的研究,给出了将触发图和活化图相结合的一种规则终止分析方法。该方法与基本触发图分析方法相比能够更准确地判定规则的可终止性。特别是主动规则集对应的触发图无环是保证终止性的充分条件,但不是必要条件。我们针对有环时的规则集的终止性进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了判定有环触发图对应的主动规则集的终止性算法,并给出了时间复杂度分析。我们通过分析规则是否是可交换的来判定规则集是否可保证汇流。我们采用规则执行图方法深入分析了规则集的汇流性问题,并给出了判定规则集是否可保证汇流的算法。