多值依赖MVD保持性的研究

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

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

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

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

用于XML模式和DTD设计的层次分解

对于 XML 模式和 DTD 规范化设计,现在开展的研究不多,而且才刚起步。W. Provost 提出将关系数据库理论应用于 XML 模式规范化设计的思想,这一思想还没有付诸实施。该文给出表示 XML 模式和 DTD 的层次模式和用于 XML 模式和 DTD 规范化设计的层次分解过程,并对产生的层次模式进行分析。在算法产生的层次模式中,完全 MVD 和嵌入 MVD 的集合由给出的 MVD 集合导出。

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念,给出了多值依赖的分裂、无分裂多值依赖集等定义,提出了满足无分裂多值依赖集的良好特性,以及无分裂多值依赖集的判定算法,并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法.这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础.