规则集是主动数据库得以实现主动能力的关键部分。使得数据库可以对其内部与外界的变化进行监控分析,在没有用户干预的情况下,能够自动地对系统内部或外部所产生的事件作出反应。近年来,主动数据库的规则分析与设计正日益成为人们关注的焦点。但由于规则之间、规则本身的相互触发,产生了一系列非结构化的、不可预测的规则处理行为,使得准确预测一个规则集的行为特性十分困难。在研究过程中认识到规则集行为应当满足终止性、汇流性和可观察确定性,保证主动数据库的结果是准确的、可预知的并且可在有限步内得到结果。本文以传播算法为基础,采用图与代数相结合进行规则集的特性分析。首先讨论了传播算法的规则,传播算法是一种静态分析C-A规则的的方法。它使用语法分析来确定一个数据库查询如何被一个数据修改操作所影响。使得规则分析更精确。其次对可终止性的分析,讨论了可终止性的相关定义与执行模型及触发图、激活-惰化图。最后通过传播算法分析了规则在执行的图中相互之间的触发、激活、惰化关系,从而更好的确定规则集的可终止性。其次是对汇流性的分析,讨论了规则之间的可交换性、汇流性、局部汇流性。通过传播算法分析了两条规则是否满足规则可交换的条件,从而确定规则集是否满足汇流性。最后是对可观察确定性的分析,由于规则动作的可观察性分为数据检索和事务回退操作两部分,因此本文针对数据检索操作通过规则模型将经过传播算法分析后的最终操作进行抽象。然后采用执行状态图对这些规则的执行结果进行分析,如果修改动作的最终结果相同或唯一,则多个规则被选择执行的顺序对可观察动作的结果不产生影响,否则不是可观察确定的。针对事务回退操作,同样通过规则模型将操作抽象。然后,采用栈的方式将每个事务的操作按顺序压入栈中。在事务结束后,将操作弹出栈通过操作的逆运算得到这个事务的完整的回退操作。从而实现可观察确定性。通过运用传播算法对规则的精确分析,更有效、更精确地对规则的可终止性、汇流性、可观察确定性进行了分析。能够在一定程度上准确分析规则的特性,为今后在实际应用过程中提供了一种较为可行的方法。