在网络数据交换日益增多的今天,XML作为一种半结构化数据以其简单易标记和跨平台等优点被越来越广泛的应用到数据存储和数据传输领域,成为Internet上的主要的数据表示和交换标准之一,应用范围非常广泛。XML数据库是一项在最近几年发展起来的新技术。和关系数据库类似,在XML数据文档中由其模式定义形成的树型结构可能包含数据冗余,从而引起数据的更新、插入和删除异常。引起数据冗余的根本原因是其中包含异常数据依赖,包括部分函数依赖、传递函数依赖和多值依赖。由于Web的开放性,XML数据异常的危害性要远远大于关系数据异常的危害性。研究XML数据依赖是进行XML数据库技术中其他相关研究如XML数据的存储与发布技术、XML数据查询与优化技术等的基础。目前对于XML数据依赖的研究主要集中在XML文档的强函数依赖这一领域,对于XML树型结构中引入空值后的弱函数依赖方面的研究就更少。本文的主要工作是在已有的DTD规范基础上,采用路径表达式和树元组的表示方法对XML数据进行规范化研究,主要内容如下:1、基于路径表达式和树元组给出XML函数依赖、部分函数依赖、传递函数依赖和多值依赖的概念,给出了部分函数依赖、传递函数依赖和多值依赖的推理规则。2、基于XML数据依赖形式化定义,给出XML不同级别范式的定义,提出XML文档规范化规则——元素提升规则、元素创建规则和元素上移规则。在规范化基础上给出XML文档规范化算法,并分析了算法的正确性、可终止性、时间复杂性、无损联接性和函数依赖保持性等。3、在XML树型结构中引入空值概念,提出XML弱函数依赖的逻辑蕴含问题,给出一组适合XML空值模型的函数依赖推理规则集;定义了单依赖集合,证明了单依赖集合判定定理和单依赖集合判定可终止定理。