在数据库技术的发展与应用中,传统的数据库逐渐向主动数据库转变。主动数据库技术拥有自主解决系统异常的功能,能够在现代应用中对数据库系统进行监视以及报警等操作。此外,主动数据库还具有保证数据完整性、一致性以及数据的实时处理等特性,这些特性使得主动数据库在当今信息管理以及工业流程控制管理等系统中得到了广泛的应用。这是传统数据库系统所不具备的,因此,运用主动数据库技术对传统数据库应用进行一定程度的扩展与更新,使系统无需人工干预就能自动对数据库的状态改变做出相应的应对策略。采用“事件—条件—动作”(ECA)形式的主动规则实现了主动数据库的主动功能。在ECA规则中,定义事件序列为规则的事件、查询数据库是条件部分、对数据库数据的修改或查询操作是主动规则的动作部分。因此主动规则执行过程可表示为:在主动数据库中触发相关事件且在条件达成的情况下,执行相应的动作。现代应用系统为了提高信息的质量,提出了主动规则汇流性概念。汇流性不仅能很好的保证数据的质量,还能有效维护数据的一致性。现有研究方法不能在某些特定条件下对主动规则集进行有效的、全面的汇流性判定,因此在特定的条件下分析和判定主动规则的汇流性仍然是现在主动数据库研究的主要方向。目前存在的主动规则汇流性判定方法中,大都是限定在对指定优先级规则集的可交换性进行判定,对于其他情况下的规则集的汇流性判定缺少相应有效的方法;现有的方法中没有考虑规则之间是否存在条件冲突,致使他们不可能同时出现在同一个执行序列中,并且没有考虑是否满足在相同的初始状态下不同规则被调度的条件;现如今存在的Petri网研究中,虽然对复合事件以及复合条件的规则集可终止性判定问题提出了相应的解决方法,但缺少对复合条件的规则集汇流性判定的分析方法,因此无法有效的判定规则集的汇流性。针对这些不足,本文提出了含排他性选择规则的概念、汇流性先决条件和汇流性判定定理,给出建立新的条件公式的方法和与此相关的汇流性判定方法。经过理论分析,证明该种方法具有现有方法所不具备的能力,能够有效的判定含排他性选择规则集的汇流性。着色Petri网(Colored Petri Net,简称CPN)具有强大的图形建模及跟踪描述功能,被广泛的用于描述计算机事件之间的关系。CPN模型利用其简单、易用且直观的特点,通过图形化的方式来描述数据库系统的运行过程,较好的分析了复杂事件之间的各类相互关系。针对主动规则集特有的ECA主动规则,将现有的方法扩展建立ECPN模型。采用ECPN模型对本文提出的基于条件公式的主动规则集汇流性判定算法进行有效的验证。本文使用开源的Petri网建模软件(CPN Tools)对主动规则开发建模,完成了ECPN的模拟仿真实验。仿真结果表明该模型能够较好的支持主动规则集的汇流性分析,同时也验证了本文算法的正确性、有效性。本文提出的方法可以为数据库研究人员在后续主动数据库研究中提供部分有效的理论依据以及相关的实验验证。有助于完成主动数据库系统的辅助分析,在一定程度上促进了主动数据库在更多相关领域中的充分应用。