XML(eXtensible Markup Language)是目前Internet上主要的数据表示和交换的标准之一。XML文档作为数据库用来存储数据,目前对XML文档的研究仅局限于XML文档树中的每一个节点都为确定的值,没有考虑节点中包含不完全信息的情况。本文主要把不完全信息引入XML文档中,使得XML具有更强的现实表现力,为了能表示不完全信息并且还能保证信息冗余少、且尽量减少插入删除修改异常,因此不完全信息下XML文档的函数依赖及推理规则研究具有重要的理论意义和现实价值。本文的主要研究工作是在XML文档已有的DTD规范的基础上,采用路径表达式和树元组的表达方法对XML文档包含不完全信息时的函数依赖及推理规则的研究,主要研究成果如下:1.在本文中把节点分为三类元素节点、文本节点和属性节点,分别在文本节点和属性节点中表示不完全信息构造这样一棵表示不完全信息的XML文档树,给出节点、树元组之间的关系。并在此基础上对函数依赖进行研究。2.基于函数依赖各保持条件的定义,给出函数依赖的推理规则,并证明了各推理规则的正确性以及推理规则集的完备性。进一步给出满足该保持条件的函数依赖在不完全信息树确定化后的情况。3.给出函数依赖保持条件下完全函数依赖和部分函数依赖,进一步定义了完全函数依赖弱保持和完全函数依赖强保持,研究了他们成为完全信息树下完全函数依赖的可能性。给出了判断函数依赖是否为完全函数依赖强保持或弱保持的算法。4.定义不完全信息树下候选关键字,给出求候选关键字的算法并对算法的正确性、可终止性及时间复杂度进行分析。