主动数据库主动规则汇流性分析

摘要	第1-5页
Abstract	第5-9页
第1章 绪论	第9-16页
·研究背景	第9-10页
·主动数据库概述	第10-12页
·主动数据库管理系统的特征及实现途径	第12-14页
·主动数据库管理系统的特征	第12-14页
·主动数据库系统实现的途径	第14页
·论文研究的工作和构成	第14-16页
第2章 主动数据库系统的体系结构	第16-33页
·主动数据库系统体系结构图	第16-20页
·事件检测	第17-18页
·条件监视	第18-19页
·动作执行	第19页
·事务管理	第19-20页
·主动数据库规则系统	第20-32页
·知识模型	第20-27页
·执行模型	第27-30页
·典型的主动规则系统	第30-32页
·本章小结	第32-33页
第3章 主动规则的分析技术	第33-40页
·规则行为的三种属性	第33-34页
·规则分析的记号与定义	第34-35页
·规则执行期模型	第35-36页
·终止性分析	第36-38页
·汇流性分析	第38-39页
·可观察判定性分析	第39页
·本章小结	第39-40页
第4章 主动规则汇流性的分析方法	第40-50页
·基于执行图的汇流性分析方法	第40-45页
·带元规则的规则分析方法与算法	第45-49页
·元规则的引入	第45页
·静态特性	第45-47页
·检查汇流性算法	第47-48页
·复杂度分析	第48-49页
·本章小结	第49-50页
结论	第50-51页
参考文献	第51-54页
攻读硕士学位期间发表的学术论文	第54-55页
致谢	第55页