存在多值依赖(MVD)的XML文档的规范化

讨论了在XML文档中存在多值依赖的情况下,如何规范XML 文档,从而使XML 文档有更小的冗余,以及更新、删除、插入异常。并在此基础上提出了一个规范化算法,来规范存在多值依赖的XML 文档。并给出了算法的说明。

多值依赖MVD保持性的研究

基于数据依赖基本概念给出了保持多值依赖MVD集的定义，提出了构造联接树的算法，生成MVD集与保持MVD集的检验算法，同时对算法给出了证明。

不完全信息环境下存在XML强多值依赖的XML文档规范化研究

不完全信息环境下XML文档中的数据存在多值依赖时,为了避免在没有约束条件下XML文档数据出现冗余及更新异常,引入XML强多值依赖的概念和理论对XML文档的规范化进行了系统研究.基于节点信息等价、节点信息相容的概念给出了XML强多值依赖的定义;基于层次化的XML强多值依赖,提出了不完全XML文档树满足XML强多值依赖范式的条件;给出了满足该条件的不完全XML文档树无数据冗余的判定定理;提出了不完全XML文档树的规范化算法,对其时间复杂性进行了分析.理论研究和实例分析表明:研究成果较好地解决了在不完全信息环境下XML文档中存在层次化的XML强多值依赖引起的数据冗余问题.

用于XML模式和DTD规范化设计的层次模式设计

XML模式和DTD(documenttypedefinition)规范化设计是给出一个很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前在这一方面开展的研究还不多,而且才刚起步.Provost提出将关系数据库理论应用于XML模式规范化设计的思想,这一思想还没有付诸实施.在Provost思想的基础上给出用于XML模式和DTD规范化设计的层次模式设计的算法.首先分析了基于Provost思想的层次分解;然后给出用于消除冗余模式的分解树设计算法;最后给出用于XML模式和DTD规范化设计的层次模式设计算法,这一算法克服了Provost思想的缺陷.相应于其他XML模式和DTD规范化设计的研究,在算法产生的层次模式中,完全MVD(multivalueddependency)和嵌入MVD的集合由给出的MVD集合导出;并且产生的层次模式具有消除冗余模式和满足无损联接的特性.

存在XML强多值依赖的XML Schema规范化研究

为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下存在XML强多值依赖的XML Schema规范化问题;提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念给出了XML强多值依赖的定义;提出了弱键路径和XML强多值依赖弱范式的定义;通过实例分析了在XML Schema中XML强多值依赖引起数据冗余的原因,提出了转换规则,给出了规范化算法。研究成果可较好地处理XML文档中出现大量不完全信息时的数据冗余问题,实现不完全信息环境下更好的XML Schema设计。

具有多时间粒度的时态多值依赖及时态模式分解方法研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明.由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD,给出了TMVD的有限推理规则,对其有效性、完备性进行了证明.最后,基于时态多值依赖集提出了时态第四范式,并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析.

数据依赖的蕴涵问题

本文介绍数据库理论中重要的多值依赖，连接依赖和生成元组依赖及其蕴涵问题，同时给出了比较全面和新的研究进展。

基于多值关联矩阵扩展的诊断策略设计

对于复杂系统,在实际测试中测试不通过的情况可能有多种,如果依然采用基于确定性关联矩阵的测试序列生成算法,将损失大量信息,导致测试精度和效率降低.提出了基于关联矩阵扩展的诊断策略设计方法,将多值关联矩阵扩展为二值关联矩阵,然后利用AO*算法得出诊断策略.实例验证表明,算法提高了故障隔离精度,为不确定系统的诊断策略设计提供一种高效算法.

基于扩展关系模型的多Bayesian网依赖结构的合并

贝叶斯网是一个每个结点都带有一张概率表的有向无环图,它可以有效地表示不确定性知识并进行知识推理。知识系统在很多时候不得不将来自不同信息源或者同一信息源不同时刻的知识合并起来。Bayesian网作为一个知识系统,所以也会面临将多个Bayesian网提供的信息结合起来。本文提出一个基于扩展的关系数据模型和条件独立的算法,该算法将多个Bayesian网合并成为一个Bayesian网,并且尽可能地保留每一个Bayesian网的信息。

时滞依赖状态的非自治多值偏积分微分方程

利用预解算子理论结合Leray-Schauder型多值映射不动点定理,在公理化定义的相空间上,得到了一类时滞依赖状态的非自治多值一阶偏积分微分方程适度解的存在性.

一种层次关系数据库设计法

本文给出一种层次关系数据库设计法.它考虑了包含语义及结构信息的自然层次联系,提出层次依赖与关系层次树的概念,引入关系的分层结构思想来构造数据库视图.文中给出了完整的设计过程与详细的算法,以表示层次、群体与凝聚联系的最小基本依赖集为基础,对初始关系模式逐步求精分解而建立关系层次树,最后转换成层次关系数据库模式.

基于XML Schema的XML强多值依赖的推理规则集

XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。

多值依赖模式上Armstrong关系的构造算法

在关系数据库理论中,恰满足给定函数依赖集或多值依赖集及其闭包的关系被称为Armstrong关系。在多值依赖模式中,首先讨论了一类特殊的属性子集———闭属性集,即与其闭包相等的属性子集,并讨论了闭属性集与多值依赖基之间的关系。在计算出多值依赖模式上全部闭属性集及其依赖基的前提下,给出了一个Armstrong关系的构造算法,弥补了前人在构造算法方面的不足。

时态数据库理论研究

一个好的时态数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,我们对时态初等函数依赖,时态初等关键字,时态初等主属性,时态简单关键字,时态简单主属性进行了定义,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法。最后,基于TFD和TMVD混合集提出了时态第四范式(T4NF),并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。

对象类视图中蕴涵的依赖关系

本文研究关系模型中对象类视图关系模式的数据依赖问题。关系数据库中用一组表存放一个对象类的数据,并用视图实现对象类。本文分析该视图的列之间存在的函数依赖和多值依赖,并证明了类的所有单值和多值属性组成对象标识的多值依赖基。

XML多值依赖及其消除冗余模式的算法

从消除XML文档内数据冗余的角度出发研究了文档的规范化问题。首先引入XML上的数据冗余及其消除处理示例,同时基于函数依赖,提出了规范化的DTD概念和XML DTD规范化处理规则;其次通过XML多值依赖的定义,给出用于消除冗余模式的算法;最后给出用于XML模式及其消除冗余模式的算法。该算法相应于其他XML模式的研究,在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出;并且产生的XML模式具有消除冗余模式和满足无损连接的特性。

空值环境下嵌入多值依赖的研究

本文深入讨论了空值环境下的满足强、弱保持的嵌入多值依赖的概念，给出了嵌入多值依赖的投影规则及ＮＭＶＤ：Ｘ→→Ｚ强保持成立的充要条件，证明了近投影性定理。

含有空值的多值依赖强保持条件的进一步研究

本文对含有空值的多值依赖的强保持条件进行了深入讨论，对文［１］、［２］中的相应概念做了根本的修正。提出了新的含有空值的多值依赖强保持条件，论证了它的正确性。从而为进一步讨论不完全关系的理论和应用提供了一个可靠的条件。

模糊多值依赖的深入探讨

本文探讨了模糊多值依赖的性质,对单一模糊多值依赖环境下的推导规则进行了补充;给出了求依赖基的算法;讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统;介绍了模糊嵌入多值依赖的概念及公理系统。

函数依赖和多值依赖性质的算子化证明

函数依赖和多值依赖是关系数据库理论中非常重要的内容,用于刻画关系数据库中诸属性之间的一种内在联系。通过引入多值依赖的算子表示,对函数依赖以及多值依赖进行讨论并就一些主要性质给出算子化证明,结果表明该方法是简捷而高效的。算子化方法对于关系数据库理论的研究也有一定的实用价值。