主动数据库系统是将主动性功能以一种统一的方法与原有的数据库功能相结合，能够提供主动服务功能的数据库系统。主动数据库由主动规则机制来实现其主动性，本文采用的ECA规则主要由事件(Event)、条件(Condition)和动作(Action)组成，ECA规则是目前采用的较为广泛的一种规则机制，其基本语义是：当事件发生时，事件被监测，检查是否满足条件，若满足则执行相应的动作。可以看出主动数据库的关键是主动规则的处理，而规则是由事件驱动的，因此本课题将工作的重点集中在主动数据库的复合事件监测及交互数据依赖的分析上。 本文首先给出了规则模型中与事件相关的概念，然后提出基于Perti网和触发图的方法，进行事件监测及终止性分析，并且通过一个实例对主动数据库的交互性数据依赖关系进行描述与分析。进一步改进已有的Petri网模型，对各种事件类型、事件消费策略下的监测采用了着色时间PN模型方法进行分析，给出了监测算法。在此基础上针对规则的终止性分析，引入触发图，活化图，惰化图相结合的方法，对某些在只用触发图或触发图与活化图下分析不能终止或不能确定的终止性的情况进行了分析，由此提高了判断的准确性。最后，在解决带有交互性数据依赖关系时，本文通过对主动数据库中数据元素之间的匹配和依赖关系进行分类细化，并依据概念级解释器的方法导出依赖图，解决了带有计算性的数据依赖关系，使得事件执行的正确性通过依赖关系的加强得到保证。概念依赖图不仅能够保证ADB建模时的正确性、完整性和数据一致性，而且在分析及实现更为复杂的异构数据库或者交互数据依赖时还能避免出现语义矛盾。