主动数据库系统理论

本书共主要内容包括：主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测、特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇流性的静态和动态分析，较详系的给出了相关的定理、方法和算法及算法证明。还较为深入地讨论了规则执行和监测、主动数据库完整性等。