XML文档规范化算法研究

函数依赖对关系数据库和XML文档都是一种重要的语义表达.文中对XML文档中存在的函数依赖、部分函数依赖和传递函数依赖进行分析,对规范部分函数依赖提出XML第二范式,对规范部分函数依赖和传递函数依赖提出了XML第三范式,给出了相应算法,并进行了无损联接性和函数依赖保持性证明,对可终止性和时间复杂度进行了分析.     

XML文档规范化算法研究

函数依赖对关系数据库和XML文档都是一种重要的语义表达。文中对XML文档中存在的函数依赖、部分函数依赖和传递函数依赖进行分析,对规范部分函数依赖提出XML第二范式,对规范部分函数依赖和传递函数依赖提出了XML第三范式,给出了相应算法,并进行了无损联接性和函数依赖保持性证明,对可终止性和时间复杂度进行了分析。     

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

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

XML的规范化与范式

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

基于约束的XML文档规范化算法

XML模式设计是XML数据库设计的关键.基于XML文档的基本概念给出了XML部分函数依赖、传 递函数依赖、XML范式、XML第1到第3范式以及DTD无损联接分解的相关定义,提出XML模式规 范化转换规则,给出无损联接分解的两种规范化算法,对算法的正确性、可终止性和时间复杂 性进行了证明分析,并实验证明了规范化后的文档查询和存储效率有明显的提高.这将对未来 的XML函数依赖保持、XML多值依赖以及XML模式设计的进一步规范化研究奠定理论基础.     

XML文档在关系数据库中的规范化存储

提出了一种存储方法，首先把XML文档映射为泛关系模式，再利用算法DeriveFDs推导出XML键所蕴含的泛关系模式上函数依赖集的规范覆盖，根据此规范覆盖，最后将泛关系模式保持函数依赖地分解为3NF模式集。得到了保持XML键约束的规范化存储模式，实现了XML文档在关系数据库中的规范化存储。实验研究表明文中提出的方法是有效的。     

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

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

XML数据文档及其处理技术探讨

1.引言目前Internet上描述网页信息的HTML语言的元素类型是通用和描述性的,既不具备可扩展性,也不能有效地表示信息的结构和意义。这也就是许多搜索引擎往往针对用户输入的关键词却返回大量垃圾数据的根源。XML的出现给了人们一条解决这一问题的途径。XML是用于描述结构化数据的元标记语言,是结构化文档和数据的统一格式,提供了一个对数据的内容进行更精确声明,及为对多个松散的应用进行更有意义的搜索,得到精准的结果集提供了一个标准。     

基于函数依赖的XML键的推理及其求解算法

键是数据库模式和概念设计的基础，是语义的一个重要组成部分。随着XML成为Web上一种通用的数据交换标准格式，将键的概念引入到XML领域就显得非常迫切。本文基于路径和树元组表达式，从数据库设计的角度出发，在XML函数依赖形式化定义的基础上给出XML键完整陆约束定义、XML绝对键和相对键的有效和完备的推理规则，并提出使用多项式时间求解XML候选键的算法，为XML数据库模式的规范化设计奠定了理论基础。     

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

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

XML DTD规范化处理应用研究

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

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

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

Slicing XML Documents

Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a novel slicing method for XML documents. Essentially, given an XML document (which is valid w.r.t. some DTD), we produce a new XML document (a slice) that contains the relevant information in the original XML document according to some criterion. Furthermore, we also output a new DTD such that the computed slice is valid w.r.t. this DTD. A prototype implementation of the XML slicer has been undertaken.     

XML的函数依赖

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

DTD的规范化

一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分,将它引入到XML的领域中。给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和完备性。基于函数依赖,提出了规范化的DTD概念,并给出了一个将DTD转化为规范化形式的算法。     

XML与数据库数据的交互技术研究

从XML与关系数据库的特点入手,描述了两者之间的相互转换方法,并且以实例说明了XML与数据库的转换过程。     

XML函数依赖及其与键的关系

通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处，提出了基于DTD中的路径表达式的XML函数依赖的概念．并且给出了XML函数依赖的XML表示方法，研究了XML函数依赖和XML键的关系．