基于ECA规则的主动数据库知识模型与执行模型的研究

摘要

数据库技术是计算机科学技术中发展最快的领域之一，也是应用最广的技术之一，它已成为计算机信息技术与应用系统的核心技术和重点基础。现如今，传统关系型数据库已经得到了广泛的应用。 而主动数据库技术，作为数据库研究领域中的一个新的研究方向，目前已成为一个研究热点。在前人研究的基础上，作者从应用的角度，根据ECA规则模型理论，提出了针对于主动数据库的知识模型和执行模型，以扩充传统数据库模型，使之能够对ECA规则进行表示，适应主动机制的需求；对规则中，事件、条件、动作三元素的逻辑结构，进行了描述；根据事件代数的理论，对复合事件的优化表示，提出了有效的解决方案；同时，基于对提高执行模型执行效率的考虑，建立了规则的物理结构表示。建立了规则描述语言体系，并根据该体系实现知识模型的表示和有效转换；在知识模型的基础之上，提出了一个相对完善的实现主动机制的执行模型，以实现对ECA主动规则的处理和执行，从而扩充传统数据库系统的事务模型以支持主动机制。对规则的终止性问题，进行了详细的分析，将规则的终止性问题，进行了定义不可终止和执行过程不可终止的分类，并分别提出了相对有效的解决办法。

目录

文摘

英文文摘

声明

引言

第1章主动数据库技术的研究现状

1.1主动数据库概念的提出与发展

1.1.1主动数据库技术的发展现状

1.1.2主动数据库的概念和特征

1.2目前商业数据库对主动机制的支持

1.3主动数据库技术需解决的问题

第2章主动数据库技术的相关理论

2.1主动机制的概念和特征

2.1.1 AMS(主动机制系统)的概念

2.1.2 ECA规则

2.1.3主动程序设计语言

2.2主动数据库管理系统的组成

第3章知识模型(规则库)的规则表示

3.1规则编译过程所要完成的任务

3.2 ECA规则模型的表示

3.2.1 ECA规则的语法分析与语法分析树

3.2.2事件

3.2.3从ECA规则语法分析树到规则逻辑存储计划的转换

3.2.4复合事件代数关系式的等价转换和优化

3.2.5事件的存储格式

3.2.6 ECA规则的条件描述

3.2.7条件的存储格式

3.2.8 ECA规则动作的描述

3.2.9动作的存储格式描述

3.2.10 ECA规则库的逻辑结构分析

3.3 ECA规则库物理结构简述

3.4 ECA规则定义语法描述

3.5编译的预处理和逻辑存储计划的转换

3.5.1编译预处理

3.5.2逻辑存储计划到物理存储计划的转换

第4章执行模型(判定执行系统部分)的描述

4.1主动数据库判定执行系统体系结构

4.2执行模型分析

4.2.1耦合方式

4.2.2触发粒度

4.3事件监视器事件的产生

4.3.1操作块

4.3.2变换

4.3.3变换效果的产生

4.3.4复合事件的检测模型

4.4动作执行说明

4.5执行过程简述

第5章规则终止性问题的解决方案

5.1规则终止性的分类

5.2定义不可终止的解决方法

5.3执行过程不可终止的解决办法

5.3.1主动规则之间的关系

5.3.2主动规则状态的形式化定义

5.3.3进化图的概念以及冲突解决策略

5.3.4进化图结点的创建及其状态的变化过程

5.3.5算法的执行过程描述

5.3.6进化图方法存在的问题

第6章结论

6.1总结

6.2展望

参考文献

后记