关于主动数据库中主动规则集可终止性理论的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-15页 |
| 第1章 绪论 | 第15-23页 |
| ·课题背景及研究的目的和意义 | 第15-16页 |
| ·国内外研究现状 | 第16-19页 |
| ·学位论文的主要内容和实施方案 | 第19-22页 |
| ·本文结构 | 第22-23页 |
| 第2章 主动规则的知识模型和执行模式 | 第23-43页 |
| ·引言 | 第23页 |
| ·主动规则的知识模型和执行模式 | 第23-32页 |
| ·主动数据库管理系统的体系结构 | 第32-33页 |
| ·现有的主动数据库管理系统 | 第33-41页 |
| ·主动规则的应用技术与理论发展概况 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第3章 TG 图和AG 图的构造方法 | 第43-67页 |
| ·引言 | 第43页 |
| ·TG 图和AG 图的定义 | 第43-44页 |
| ·TG 图的建立方法 | 第44-46页 |
| ·AG 图的建立方法 | 第46-66页 |
| ·本章小结 | 第66-67页 |
| 第4章 主动规则集可终止性静态分析方法 | 第67-97页 |
| ·引言 | 第67页 |
| ·主动规则集的特征分析 | 第67-72页 |
| ·基于活化路径和同步关系的分析方法 | 第72-81页 |
| ·基于活化路径和条件公式的分析方法 | 第81-95页 |
| ·本章小结 | 第95-97页 |
| 第5章 计算不可归约规则集的算法研究 | 第97-109页 |
| ·引言 | 第97页 |
| ·现有的归约算法及其缺陷分析 | 第97-98页 |
| ·TG 环的分类 | 第98-99页 |
| ·只含独立型触发环的主动规则集的归约算法 | 第99-102页 |
| ·含有非独立型触发环的主动规则集的归约算法 | 第102-108页 |
| ·本章小结 | 第108-109页 |
| 第6章 监测规则集的优化算法 | 第109-122页 |
| ·引言 | 第109页 |
| ·监测规则集的相关知识介绍 | 第109-115页 |
| ·计算监测规则集的现有算法的缺陷分析 | 第115-117页 |
| ·一种计算监测规则集的新的优化算法 | 第117-121页 |
| ·本章小结 | 第121-122页 |
| 第7章 最小环的结构和监测的执行状态的化简 | 第122-131页 |
| ·前言 | 第122页 |
| ·最小环的结构分析 | 第122-123页 |
| ·最小环所监测的执行状态的表示方法 | 第123-130页 |
| ·本章小结 | 第130-131页 |
| 结论 | 第131-133页 |
| 参考文献 | 第133-142页 |
| 攻读学位期间发表的学术论文 | 第142-143页 |
| 致谢 | 第143页 |
