XML函数依赖集的逻辑蕴含

提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.     

XML局部函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。同样地,这些约束在中XML也起基本的作用。近年来已定义了XML上的函数依赖。本文扩展了在XML中函数依赖以前的定义,使之成为XML局部函数依赖;同时给出了局部函数依赖的推理规则。     

XML的函数依赖

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

基于树元组的函数依赖推理规则

对M．Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍。在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。     

XML函数依赖等价的研究

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

XML弱多值依赖的推理规则

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

强函数依赖及其在XML范式中的应用

本文用一种“强满足”的方法，把函数依赖的定义扩展，使其符合不完全XML文档的情况，并把这种函数依赖称作XFD。在此基础上，给出了XML文档的一种范式。     

空值环境下XML函数依赖的研究

空值环境下的XML函数依赖是XML数据库理论和应用中的一类新的问题.本文首先给出空值环境下XML全树元组等价、全树元组相容、元素节点相等、元素节点相容和元素节点等价等概念,根据XML树型结构本身的特点.给出了空值环境下XML函数依赖的两个满足条件.     

XML键及推理规则

键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。     

XML与数据库的映射技术研究

XML作为实现数据库间数据交换的载体,如何使XML文档导入数据库以及如何使数据库中的数据转换为XML数据是关键问题所在.论述了XML文档与关系数据库间的映射规则算法、XML文档与面向数据库间的映射规则算法及基于XML异构数据库间的映射规则.     

An Optimized Approach for Extracting Approximate Functional Dependencies in XML Documents

0 IntroductionFiunntcetgirointyal c doenpsetrnadienntsc yin ( dFaDta)b aisse so n.e F oDfs ,meoxstp aic imaplloyrt aapn-tproxi mate FDs , are widely used on knowledge discovering,privacy protection,datainference[1 ,2],etc .For instance,pa-thologists wishto acquire the relation between various dietetichabits and diseases ,salesmen want to knowthe relation be-tween different age-grades and consuming patterns , etc .Those prevailing non-precise relationships between data arecalled approxi mate …     

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.     

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

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

面向方面的XML

针对面向方面这种新型的编程方法进行分析,并对面向对象理论在解决XML文档定义时不足之处加以阐述,提出利用面向方面的编程方法对XML文档定义进行扩展,解决XML文档定义仅采用简单包含关系、代码重复、横切关注点的分散及扩充XML元素时必须对原有元素修改的问题.在XML文档定义中引入关注点这一概念和织入重要机制,使XML文档定义具有面向方面编程技术的功能.在XML Schema原有定义方式中增加aspect,pointcut和advice几个定义元素的标识元素.给出相应的表示符号,并用数学模型描述.结果表明这种定义方式减少系统中的代码重复,降低模块间的耦合,使之具有较好的模块性和可移植性.     

一种基于XML Schema的XML索引

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

XML Schema与XML DTD的技术比较与分析

XML DTD是目前使用最广泛的一种XML模式，XML Schema则已经成为W3C的正式推荐标准，并有替代XML DTD的趋势．从技术角度，比较XML Schema与XML DTD的区别，探计了XML Schema的一些优势.     

XML文档模式的自动构造

为了解决目前存在大量XML文档无模式定义的问题,提出一种XML文档模式的自动构造算法.该算法以XML数据为输入,输出具有通用意义的文档模式,再根据具体要求转化到所要求的文档定义类型.实验证明,该模式构造算法确实可行,且具有较好的通用性,可应用于模式的自动生成、XML数据模式挖掘等方面.     

基于XML schema的XML文档在关系数据库中的存储

分析了P_schema存储方法存在的问题,提出了改进的P_schema存储方法;通过引入DOM树,使嵌套结构等价于DOM树节点的父子关系,用filiation表存储节点的父子关系;由于多次引用元素结构信息相同,所以存储在同一关系中,用其外键表示引用关系,解决了P_schema存储方法中的一些难题,如嵌套和多次引用元素存储问题.     

XML文档切片技术

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