主动规则的终止性分析
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第1章 绪论 | 第11-15页 |
| ·课题背景 | 第11-12页 |
| ·本课题的国内外研究现状 | 第12-13页 |
| ·本文概要 | 第13-15页 |
| 第2章 主动数据库及主动规则概述 | 第15-23页 |
| ·引言 | 第15-16页 |
| ·主动数据库概述 | 第16-21页 |
| ·主动数据库的系统模型 | 第16页 |
| ·主动数据库系统体系结构 | 第16-18页 |
| ·主动数据库系统实现的途径 | 第18页 |
| ·典型的主动数据库系统 | 第18-21页 |
| ·主动规则终止性概述 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第3章 基于图的规则终止性分析 | 第23-31页 |
| ·引言 | 第23页 |
| ·基于触发图和激活图的终止性分析 | 第23-27页 |
| ·定义 | 第23-24页 |
| ·执行模型 | 第24-25页 |
| ·基于触发图的终止性分析 | 第25-26页 |
| ·基于激活图的终止性分析 | 第26-27页 |
| ·基于触发图和激活图的规则缩减算法 | 第27-28页 |
| ·基于惰化图的终止性分析 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第4章 基于事务的规则终止性分析 | 第31-50页 |
| ·引言 | 第31-33页 |
| ·基本概念 | 第33-35页 |
| ·主动规则与程序 | 第33-34页 |
| ·事务执行语义 | 第34页 |
| ·抽象状态(Abstract State) | 第34-35页 |
| ·规则终止性分析 | 第35-42页 |
| ·演化图EG | 第35-36页 |
| ·创建EG 的算法 | 第36-39页 |
| ·例子 | 第39-42页 |
| ·终止性分析 | 第42页 |
| ·利用事务进行规则终止性分析 | 第42-47页 |
| ·精确演化图REG | 第43页 |
| ·REG 算法 | 第43-45页 |
| ·例子 | 第45-46页 |
| ·检验终止性 | 第46-47页 |
| ·两种分析方法之间的关系 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 带有规则优先级的终止性分析 | 第50-65页 |
| ·引言 | 第50页 |
| ·主动数据库的语义 | 第50-56页 |
| ·主动数据库的语义维度 | 第50-52页 |
| ·数据模型和核心规则 | 第52-55页 |
| ·执行语义 | 第55-56页 |
| ·主动/演绎的基本转换 | 第56-58页 |
| ·Datalog 及其扩展 | 第56页 |
| ·核心规则到逻辑规则的转换 | 第56-57页 |
| ·转换图 | 第57-58页 |
| ·终止性分析 | 第58-64页 |
| ·CORE~+ To Datalog | 第58-59页 |
| ·CORE~┐* TO Datalog┐* | 第59-64页 |
| ·本章小结 | 第64-65页 |
| 结论 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 攻读学位期间发表的学术论文 | 第69-70页 |
| 致谢 | 第70页 |
