| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-20页 |
| ·引言 | 第9-11页 |
| ·主动数据库及其研究基础 | 第11-16页 |
| ·主动数据库产生背景 | 第11-12页 |
| ·主动数据库的一般模型 | 第12-13页 |
| ·主动数据库管理系统(ADBMS)的结构 | 第13-14页 |
| ·ECA规则系统 | 第14-16页 |
| ·ECA规则的知识模型 | 第15页 |
| ·ECA规则的执行模型 | 第15-16页 |
| ·Petri网的理论和应用研究已广泛、深入地开展 | 第16-20页 |
| ·Petri网在知识验证(知识库一致性检验)中的应用 | 第16-17页 |
| ·Petri网在规则表示和推理中的应用 | 第17-18页 |
| ·Petri网的分析技术 | 第18-20页 |
| 第二章 Petri网的基本理论 | 第20-27页 |
| ·Petri网定义 | 第20-21页 |
| ·变迁的点火规则 | 第21页 |
| ·Petri网的图形表示 | 第21-22页 |
| ·Petri网分析技术 | 第22-26页 |
| ·可达树的构造方法 | 第23-24页 |
| ·可达图的构造方法 | 第24-26页 |
| ·小结 | 第26-27页 |
| 第三章 基于Petri网的主动数据库规则模型的建立 | 第27-39页 |
| ·主动数据库有关概念 | 第27-29页 |
| ·主动数据库规则集示例 | 第29-30页 |
| ·建立主动数据库的有关Petri网模型 | 第30-37页 |
| ·主动规则的Petri网建模 | 第30-34页 |
| ·表示规则状态的子网 | 第31-32页 |
| ·单条规则的Petri模型 | 第32-33页 |
| ·标记规则中库所和变迁 | 第33-34页 |
| ·规则集到Petri网模型的转换 | 第34-35页 |
| ·基于Petri网的规则处理过程 | 第35-36页 |
| ·主动规则Petri网建模示例 | 第36-37页 |
| ·小结 | 第37-39页 |
| 第四章 基于Petri网的主动数据库规则行为分析 | 第39-47页 |
| ·主动数据库规则集终止性分析 | 第39-43页 |
| ·可达图分析方法 | 第39-40页 |
| ·执行图分析方法 | 第40-43页 |
| ·执行图的形式化定义 | 第40-42页 |
| ·规则执行图应用于终止性分析 | 第42-43页 |
| ·基于Petri网的主动规则一致性分析 | 第43-45页 |
| ·带优先级的规则集的Petri网模型 | 第43-44页 |
| ·主动规则一致性分析示例 | 第44-45页 |
| ·小结 | 第45-47页 |
| 第五章 Petri模型的进一步扩展 | 第47-55页 |
| ·延迟型执行模式的情形 | 第47-48页 |
| ·非自惰化与读触发的情形 | 第48-53页 |
| ·扩展后Petri网模型的构造算法 | 第50-52页 |
| ·Petri网模型扩展举例 | 第52-53页 |
| ·小结 | 第53-55页 |
| 第六章 结束语 | 第55-57页 |
| ·总结 | 第55-56页 |
| ·进一步的工作 | 第56-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-63页 |
| 附录A(攻读学位期间发表论文目录) | 第63页 |