XML的函数依赖

为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力.     

XML函数依赖等价的研究

近年来.人们已经提出了XML函数依赖多种定义方法.本文给出了基于树元组的XML函数依赖和基于路径的XML函数依赖的两种定义方法.一般说来,这两种方法是不可比较的,但是在DTD存在、XML文档没有信息缺失的情况下,这两种方法是可比较的, 并且是一致的.     

基于JAXP接口的XML文档解析技术

扩展标记语言XML是一种简单的数据存储语言，随着XML越来起广泛地被采用，高效解析XML文档也变得越来越重要。Sun公司提供了JAXP接口来方便解析XML文档。本文讨论了如何使用此接口进行DOM解析XML文档。     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

XML与关系数据库相互转换中的语义约束完整性

采用Shared Inlining方法,提出基于函数依赖的XML到关系的无损映射算法,使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则,提出基于语义约束的关系模式向XML模式的转换算法,以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关,而且与XML文档或关系的规范化程度有关.定义了XML范式,提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题,并给出了相应证明.     

基于SAX模型的XML文档更新算法研究

XML作为信息交换的标准。广泛应用于Internet／Intranet计算环境中．根据SAX模型的特点，提出一种基于SAX模型的XML文档更新算法．使用X—Path表示文档结点，形式化定义XML文档的更新脚本；在XML文档的SAX扫描过程中生成结点的X—Path，然后判断结点是否需要更新，将更新脚本应用到文档上实现文档的更新．采用SAX模型，与DOM模型相比，实现对XML文档的动态更新，在时间和空间上取得比较好的效果．     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中．由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多．就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法．对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果。     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

一种基于XML Schema的XML索引

分析XISS,DBXI,DDT等索引方法的优缺点,提出一种基于XML Schema的XML索引,以提高XML查询的效率.通过利用XML Schema结构信息对XML进行索引,支持对基于不同XMLSchema的多类XML文档的统一查询,同时兼顾对XML文档的有效性验证和对无效查询的判断.通过在编码时预留一定的编码空间,方...     

对XMLDTD中的键和函数依赖的探讨

对基于DTD模式的XML的键和函数依赖做了进一步讨论。提出了关于XML的简化键、简化函数依赖的定义，分析了XML中的键和函数依赖的之间的区别和联系。     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，     

XML文档规范化和反规范化

从数据库角度分析了XML文档中存在的间接函数依赖、传递函数依赖、多值依赖,阐述了间接函数依赖和传递函数依赖规范化所对应的第1范式、第2范式及多值依赖规范化所对应的第3范式,提出了4个文档规范化规则,这些规则分别消除了间接函数依赖、传递函数依赖、多值依赖,同时从文档规范化的性能因素方面探讨了反规范化的有用性.     

XML文档切片技术

XML文件作为一种数据存储与数据交换的文件,其应用日益广泛,但目前对于信息量大、结构复杂的文档要获取其中有用信息的操作效率较低。现提出一种新的基于程序切片技术对XML文档进行切片的方法。对给定的XML文档,可根据给定的切片规则对文档进行切片,从而得到一个用户感兴趣信息集合的新XML文档。同样,也可以对给定的XML文档对应的DTD或XML模式文档进行切片,根据给定的切片规则生成新的DTD或XML模式文档切片,同时,也会生成对应的XML文档切片,且切片获得的新文档是符合新的DTD或XML模式规范的有效文档。     

Optimized XML Storage in NXD Based on Tree-Structure Disassemble

Independent XML storage based on XSD （XML Schema Document） is adopted in NXD（Native XML Data base）, XMI. storage structure based on tree-structure disassemble and the algorithm used in dynamically updating XML document are provided in this paper. The main idea is that in term of data model of XML document, XML document is parsed to Document Structure-Tree with Hierarchical Model and Leaf-Data with Relation Model for storage. Simultaneously Proxy node is imported in order to solve the problem that XML data store in cross-blocks. And with XSD model information, sparse index is constructed to save storage space. It is proved that this storage structure could improve efficiency of XML document operation.     

Functional Dependencies and Its Axiom System in XML

According to the analysis of existing complicated functional dependencies constraint, we conclude the conditions of defining functional dependency in XML, and then we introduce the concept of the node value equality. A new path language and a new definition of functional dependencies in XML （XFD） are proposed XFD includes the relative XFD and the absolute XFD, in which absolute key and relative key are the particular cases. We focus on the logical implication and the closure problems, and propose a group of inference rules. Finally, some proofs of the correctness and completeness are given. XFD is powerful on expressing functional dependencies in XML causing data redundancy, and has a complete axiom system.     

BTCS:基于二叉遍历的XML文档编码模式

XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率,在正则路径表达式实现方面有重要意义.基于树遍历的XML文档编码在更新与结构关系判断方面存在不足.为了解决此类问题,作者作了如下工作:(1)提出一种新的基于二叉树遍历的XML文档编码模式BTCS(Binary Traveling Coding Scheme);(2)实现了BTCS编码算法,支持XML文档更新,提高了编码更新效率;(3)在常数复杂度的时间内快速准确判断XML文档结构树中任意两个结点之间的父子以及祖孙关系,并能计算它们的辈数差(Distance of Genera-tions);(4)通过详细实验证明了BTCS编码模式的良好性能.