论文部分内容阅读
传统的数据库系统已经不能适应当今的现代应用。近年来,主动数据库的研究发展非常迅速,而且被应用到许多领域,主动数据库已经成为了数掘库研究领域一个前沿的方向。主动数据库应用中的一个很大的困难就是正确的规则应用开发,因为预测一组主动规则处理的行为是非常困难的。文章开始介绍了主动数据库的出现的背景、发展与现状、主要特征及体系结构,比较了几种典型的主动规则系统,对主动数据库的知以模型和执行模型进行讨论。然后着重研究了主动规则的行为特征,在此基础上提出了检查主动规则汇流性的方法和算法。本文的研究工作如下:为了给规则集的分析提供一个有效的工具,必须了解关于规则行为的三种属性的信息,即规则的终止性、汇流性和可观察判定性。本文分别分析了主动数据库主动规则的三种属性,并阐述了三种属性基本分析方法的基础。为了分析主动规则的汇流性,文中引入了基于执行图的执行模型。在此模型的基础上,提出了基于执行图的汇流性分析方法,给出了路径汇流和边汇流的定理,并提出了保证规则集汇流的条件。本文提出了带有元规则的主动规则汇流性分析方法及算法:首先在主动规则中引入了元规则部件,用来定义主动规则的交互关系(或影响),分析了它的静态特性,在此基础上提出了检查汇流性的方法及算法并对其复杂度进行了分析。