XML DTD规范化处理应用研究

从消除XML DTD文档内数据冗余的角度出发研究了文档的规范化问题，首先引入XML DTD上路径和函数依赖的定义，并提出定义XML上的数据冗余；其次基于函数依赖，提出了规范化的DTD概念和XML DTD规范化处理规则；最后给出了一个将XML DTD转化为规范化的处理算法。     

基于轴结点的XML函数依赖及推理规则

通过分析DTD和XML Schema两种模式的不同之处,参考基于DTD的XML函数依赖的相关研究,提出XML Schema形式化定义和XML的轴元素定义,给出基于XML Schema标准的XML函数依赖定义以及它的推理规则集,有助于规范化XML文档。     

XML弱函数依赖及其推理规则

XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义，提出空值、不完全树元组、数据值偏序、最小扩展树等概念，在此基础上，给出弱函数依赖及其满足性的定义；其次研究了XML弱函数依赖的逻辑蕴含问题，提出一组适合XML空值模型的函数依赖推理规则集；最后给出推理规则集的正确性和完备性证明。     

XML的规范化与范式

给出了XML间接函数依赖和传递函数依赖的概念,据此提出了以DTD为模式的XML文档的一种范式XMLNF,它可以消除XML文档中由于间接函数依赖和传递函数依赖所引起的数据冗余,给出了把DTD无损联接地分解成XMLNF的规范化方法.     

XML多值依赖的推理规则集问题

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础，是XML规范化理论的关键问题之一。该文对XML树、树元组等进行了重新定义，与Vincent等人不同，提出了基于DTD的XML多值依赖的概念，通过对XML的关系化表示给出了其形式化定义，定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念，给出了一个有效且完备的推理规则集，并对其有效性及完备性进行了证明。     

XML上的函数依赖推理

函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法.     

XML的函数依赖

通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处，提出了基于DTD中的路径表达式的XML函数依赖的概念．它不仅能表达元素的属性和元素的值之间的函数依赖，而且也能表达元素之间的函数依赖．给出了关于XML函数依赖的一组推理规则集．     

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

XML DTD文档中可能包含由非函数依赖引起的数据冗余和操作异常，首先从消除DTD文档内数据冗余的角度出发研究了文档的规范化的问题，讨论了在DTD文档中存在多值依赖的情况下，如何规范XML文档，提出了以DTD为模式的XML文档的多值依赖的概念。然后基于多值依赖的概念，提出了XML文档的一种多值依赖范式MXNF。最后在此基础上提出了把一个XML文档的DTD无损联接地分解成为符合MXNF的规范化算法，来规范存在多值依赖的XML DTD文档，并给出了该算法的分析说明。     

XML函数依赖的定义及分析

函数依赖是XML数据约束研究的重要组成部分.针对XML中存在的复杂的多种形式的函数依赖约束,分析了数据约束的特点,引入节点值相等的概念,提出了一种DTD的路径语言,进而提出了一种新的XML函数依赖(XFD)的定义,包括相对XFD和绝对XFD.其中,绝对键和相对键是XFD的特例.研究了XFD的逻辑蕴涵与闭包问题,给出一组相应的推理规则,并证明了推理规则的正确性及完备性.     

函数依赖和规范化在关系和XML间的传播

XML和关系的结合是一个重要的研究领域,讨论函数依赖和规范化在关系及XML间的传播问题.首先引入XML上函数依赖和键的定义,并进一步定义XML上的数据冗余和规范化DTD的概念.分别讨论在关系和XML相互转化的过程中,函数依赖的传播问题.针对一种一般化的关系模式DTD表示,证明原有关系中的函数依赖可以在生成的XML文档上得到表示.针对一种常见的XML关系存储方法,说明最终生成关系上的函数依赖与原有XML上函数依赖的对应关系.函数依赖传播的核心意义在于规范化的传播.证明使用上述方法时,若原有的关系是满足BCNF的,则发布得到的DTD也是规范化的;若原始的DTD是规范化的,则得到的关系存储也满足BCNF范式.     

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

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

XML函数依赖及其推理规则

函数依赖在关系数据库和XML文档中都是一种重要的语义表达．通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处,提出了基于DTD中的路径表达式的XML函数依赖的概念．它不仅能表达元素的属性和元素的值之间的函数依赖,而且也能表达元素之间的函数依赖．给出了关于XML函数依赖的一组完备的推理规则集,这对解决XML函数依赖的蕴含问题具有重要的意义．     

XML DTD的一种范式

研究了XML DTD的规范化问题。由于DTD在设计上存在不足之处，DTD中可能包含类似于关系数据库模式中存在的异常依赖，从而导致XML文档包含冗余的数据和各种操作异常。提出了关于DTD的多值依赖的概念，然后基于多值依赖的概念，提出了一种XML的范式XNF，并且用DTD的关系表示形式给出了关于DTD的无损联接分解的概念。最后给出了把DTD无损联接地分解成XNF的一种算法。     

XML文档的范式

给出了 XML函数依赖、部分函数依赖和传递函数依赖的概念 ,然后据此提出了三种 XML范式 :1XNF、2 XNF和 3XNF.提出了 DTD无损联接分解的概念 ,给出了两个把 DTD无损联接地分解成 2 XNF和 3XNF的算法     

基于树元组的XML函数依赖研究

与关系数据库一样,XML文档可能由于函数依赖而产生数据冗余或操作异常,在关系数据库中对于函数依赖的理论体系的研究已经比较完善,但对XML函数依赖的研究才刚刚起步.结合XML文档类型定义DTD进行探讨,提出基于树元组的XML函数依赖的概念,并结合Armstrong公理系统推导出函数依赖的推理规则集.