| 第一章 绪论 | 第12-32页 |
| 1.1 研究背景 | 第13-29页 |
| 1.1.1 主动数据库历史 | 第13页 |
| 1.1.2 主动规则与规则语言 | 第13-15页 |
| 1.1.2.1 事件 | 第14页 |
| 1.1.2.2 条件 | 第14-15页 |
| 1.1.2.3 动作 | 第15页 |
| 1.1.3 规则执行语义 | 第15-19页 |
| 1.1.3.1 规则处理粒度 | 第15页 |
| 1.1.3.2 事件消耗语义 | 第15页 |
| 1.1.3.3 依赖与冲突消解 | 第15-16页 |
| 1.1.3.4 耦合方式 | 第16-17页 |
| 1.1.3.5 规则与嵌套事务 | 第17页 |
| 1.1.3.6 串行执行与并行执行 | 第17-18页 |
| 1.1.3.7 迭代执行与递归执行 | 第18页 |
| 1.1.3.8 终止性 | 第18-19页 |
| 1.1.3.9 合流性与正确性 | 第19页 |
| 1.1.4 主动数据库原型系统 | 第19-23页 |
| 1.1.4.1 HiPAC 系统 | 第19-20页 |
| 1.1.4.2 POSTGRESS 系统 | 第20页 |
| 1.1.4.3 Sentinel 系统 | 第20页 |
| 1.1.4.4 Starburst 系统 | 第20-21页 |
| 1.1.4.5 Chimera 系统 | 第21页 |
| 1.1.4.6 Ode 系统 | 第21-22页 |
| 1.1.4.7 A-RDL 系统 | 第22页 |
| 1.1.4.8 Ariel 系统 | 第22页 |
| 1.1.4.9 SAMOS 系统 | 第22-23页 |
| 1.1.4.10 NEOS 系统 | 第23页 |
| 1.1.4.11 Petri-AOODB 系统 | 第23页 |
| 1.1.5 标准与商业数据库 | 第23-27页 |
| 1.1.5.1 SQL-92 中的完整性约束 | 第24页 |
| 1.1.5.2 SQL3 中的断言与触发子 | 第24-25页 |
| 1.1.5.3 商业数据库中的触发器 | 第25-27页 |
| 1.1.6 主动数据库理论问题 | 第27-28页 |
| 1.1.6.1 事件描述语言 | 第27页 |
| 1.1.6.2 复合事件的增量式检测 | 第27-28页 |
| 1.1.6.3 规则终止性分析 | 第28页 |
| 1.1.6.4 正确性语义描述 | 第28页 |
| 1.1.6.5 合流性与耦合方式 | 第28页 |
| 1.1.7 主动数据库应用 | 第28-29页 |
| 1.1.8 相关研究领域 | 第29页 |
| 1.2 本文工作 | 第29-32页 |
| 1.2.1 时序算子与时序事件描述语言 | 第29页 |
| 1.2.2 改进的Petri 网及复合时序事件的检测 | 第29页 |
| 1.2.3 关联图与主动规则终止性分析 | 第29-30页 |
| 1.2.4 主动规则执行正确性的形式化描述 | 第30页 |
| 1.2.5 支持多种耦合方式的合流性主动规则执行模型 | 第30页 |
| 1.2.6 Petri-AOODB 原型系统 | 第30-32页 |
| 第二章 Petri-AOODB 规则系统 | 第32-37页 |
| 2.1 主动规则形式 | 第32-33页 |
| 2.2 主动规则语义 | 第33-35页 |
| 2.2.1 耦合方式 | 第33页 |
| 2.2.2 优先级别 | 第33-34页 |
| 2.2.3 级联触发与终止性 | 第34页 |
| 2.2.4 正确性与合流性保障 | 第34页 |
| 2.2.5 并行执行模型 | 第34-35页 |
| 2.3 规则系统结构 | 第35-37页 |
| 第三章 复合时序事件及其增量检测 | 第37-50页 |
| 3.1 引言 | 第37-38页 |
| 3.2 一元时序算子与时序事件代数 | 第38-44页 |
| 3.2.1 事件与复合事件 | 第38-39页 |
| 3.2.2 相对时序算子 | 第39-40页 |
| 3.2.3 事件的时间语义 | 第40-42页 |
| 3.2.4 时序事件代数及其性质 | 第42-44页 |
| 3.3 标志取代Petri 网 | 第44-45页 |
| 3.4 用TR Petri 网检测复合时序事件 | 第45-47页 |
| 3.4.1 例子 | 第45-46页 |
| 3.4.2 数据结构与算法 | 第46-47页 |
| 3.5 小结 | 第47-50页 |
| 第四章 主动规则执行的终止性 | 第50-63页 |
| 4.1 终止性静态分析与动态检测 | 第50-51页 |
| 4.2 基于触发图与活化图的终止性分析 | 第51-57页 |
| 4.2.1 相关定义 | 第51-52页 |
| 4.2.2 基本归约算法及其保守性 | 第52-53页 |
| 4.2.3 基于TG 和AG 的分析算法及其错误 | 第53-54页 |
| 4.2.4 触发可达及分析算法的修正 | 第54-57页 |
| 4.3 关联图与主动规则终止性分析 | 第57-62页 |
| 4.3.1 惰化图与关联图 | 第57-58页 |
| 4.3.2 基于关联图的终止性分析 | 第58-62页 |
| 4.3.2.1 基本定义与定理 | 第58-60页 |
| 4.3.2.2 分析算法 | 第60-61页 |
| 4.3.2.3 例子 | 第61-62页 |
| 4.4 小结 | 第62-63页 |
| 第五章 主动规则执行的正确性与合流性 | 第63-71页 |
| 5.1 引言 | 第63-64页 |
| 5.2 耦合方式与合流性 | 第64-65页 |
| 5.3 冲突与传递冲突 | 第65-67页 |
| 5.4 主动规则执行的正确性 | 第67-69页 |
| 5.4.1 扩展的嵌套事务模型 | 第67页 |
| 5.4.2 多种耦合方式下的主动规则正确性语义 | 第67-69页 |
| 5.5 正确执行结果的合流性 | 第69-71页 |
| 第六章 主动数据库的执行模型 | 第71-84页 |
| 6.1 层次嵌套可串行化 | 第71-73页 |
| 6.2 规则调度与并发控制 | 第73-81页 |
| 6.2.1 规则调度算法 | 第75-78页 |
| 6.2.2 数据结构 | 第78页 |
| 6.2.3 锁请求算法 | 第78-79页 |
| 6.2.4 事务提交算法 | 第79-80页 |
| 6.2.5 事务失败算法 | 第80-81页 |
| 6.3 死锁检测与恢复 | 第81-83页 |
| 6.4 小结与进一步工作 | 第83-84页 |
| 第七章 实验效果与应用 | 第84-90页 |
| 7.1 系统实现与测试 | 第84-86页 |
| 7.1.1 事件描述语言的增量检测 | 第84-85页 |
| 7.1.2 规则执行终止性静态分析算法 | 第85页 |
| 7.1.3 规则调度与并发控制 | 第85-86页 |
| 7.2 系统应用 | 第86-90页 |
| 7.2.1 约束管理 | 第86页 |
| 7.2.2 视图管理 | 第86-89页 |
| 7.2.2.1 虚拟视图 | 第87-88页 |
| 7.2.2.2 物化视图 | 第88-89页 |
| 7.2.3 工作流管理 | 第89-90页 |
| 第八章 结论与展望 | 第90-95页 |
| 8.1 结论与贡献 | 第90-92页 |
| 8.1.1 时序事件描述语言 | 第90-91页 |
| 8.1.2 标志取代Petri 网 | 第91页 |
| 8.1.3 基于RG(TG+AG+DG)图的规则终止性分析 | 第91页 |
| 8.1.4 规则执行的正确性与合流性 | 第91-92页 |
| 8.1.5 主动规则执行模型 | 第92页 |
| 8.1.6 基于Petri 网的AOODBMS 原型系统 | 第92页 |
| 8.2 未来展望 | 第92-95页 |
| 8.2.1 E-C 与C-A 耦合方式的分离 | 第92-93页 |
| 8.2.2 并发事件描述语言 | 第93页 |
| 8.2.3 辅助工具系统 | 第93页 |
| 7.2.4 基于XML 的主动数据库 | 第93-95页 |
| 参考文献 | 第95-104页 |
| 作者读博士期间发表的部分论文目录 | 第104-106页 |
| 致谢 | 第106-107页 |
| 摘要 | 第107-110页 |
| Abstract | 第110页 |
