论文部分内容阅读
XML的出现给数据库领域带来了很多新的问题，其中XML数据的约束问题是当前的研究热点之一。XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。有关XML数据模式设计的研究刚刚开始，虽然取得了一些初步研究成果，但还没有形成统一的规范和完整的理论体系。本文在对国内外研究现状进行综合分析的基础上，从一个全新的角度对XML函数依赖与推理规则等问题进行了研究。
1.基于M．Arenas等人给定的XML中DTD和XML树的定义，将空值的语义引入到XML中，提出完全树元组、不完全树元组、数据值偏序、最小扩展树等概念，在此基础上给出XML弱函数依赖以及函数依赖集蕴涵的定义。
2.将不完全关系中的Lien-Atzeni公理系统推广到XML中，给出一组基于XML树元组的，适合XML弱函数依赖的推理规则集，并证明了此推理规则集的正确性和完备性。
3.对弱函数依赖的可加性进行了研究。将弱满足的语义推广到函数依赖集合，给出弱函数依赖可加性的定义，提出一个可加性的判定算法。给出XML单依赖集的概念，并研究了单依赖集与可加性的重要联系。
4.对单依赖集的性质进行了研究。给出规范覆盖下单依赖集的另一种定义，根据此定义给出一个单依赖集判定算法，并对算法的正确性和时间复杂度进行了分析。讨论了单依赖集条件下，函数依赖集闭包的特点。