论文部分内容阅读
本文在对国内外研究现状进行综合分析的基础上，从一个全新的角度对XML函数依赖的推理规则与蕴涵问题进行了研究。
首先，对当前广泛使用的两种主要XML模式进行了比较和分析；对已经提出的XML函数依赖定义进行了分类和比较，并对XML函数依赖的几个相关问题进行了讨论。
其次，介绍了现有的XML函数依赖推理规则集并分析了它们各自的优缺点，然后提出了基于树元组的XML函数依赖推理规则集并证明了它的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
然后，基于所提出的XML函数依赖推理规则集，定义了XML函数依赖集覆盖、规范覆盖、最小覆盖及最优覆盖的概念，并给出了求解规范覆盖和最小覆盖的算法。
最后，提出了一种DTD路径编码方法，并对它的性质进行了分析。编码后的DTD消除了部分XML平凡函数依赖，并能在线性时间内对M.Arenas等人给出的XNF算法中的逻辑蕴涵问题进行判定。提出了一个将XFD中的编码路径重新映射到DTD路径的算法，并证明了它的正确性。