论文摘要
XML的出现给数据库领域带来了很多新的问题,其中XML数据的约束问题是当前的研究热点之一。XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。有关XML数据模式设计的研究刚刚开始,虽然取得了一些初步研究成果,但还没有形成统一的规范和完整的理论体系。本文在对国内外研究现状进行综合分析的基础上,从一个全新的角度对XML函数依赖与推理规则等问题进行了研究。首先,基于M.Arenas等人给定的XML中DTD和XML树的定义,将空值的语义引入到XML中,提出完全树元组、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上给出XML弱函数依赖以及函数依赖集蕴涵的定义。其次,将不完全关系中的Lien-Atzeni公理系统推广到XML中,给出一组基于XML树元组的,适合XML弱函数依赖的推理规则集,并证明了此推理规则集的正确性和完备性。然后,对弱函数依赖的可加性进行了研究。将弱满足的语义推广到函数依赖集合,给出弱函数依赖可加性的定义,提出一个可加性的判定算法。给出XML单依赖集的概念,并研究了单依赖集与可加性的重要联系。最后,对单依赖集的性质进行了研究。给出规范覆盖下单依赖集的另一种定义,根据此定义给出一个单依赖集判定算法,并对算法的正确性和时间复杂度进行了分析。讨论了单依赖集条件下,函数依赖集闭包的特点。
论文目录
相关论文文献
- [1].基于属性预扫描的不确定性函数依赖挖掘[J]. 清华大学学报(自然科学版)网络.预览 2009(06)
- [2].基于常量条件函数依赖的冲突消解算法[J]. 计算机仿真 2020(02)
- [3].基于内容相关的条件函数依赖的一致性清洗方法[J]. 东北大学学报(自然科学版) 2016(12)
- [4].函数依赖与属性蕴含的关系研究[J]. 小型微型计算机系统 2017(09)
- [5].微函数依赖及其推理[J]. 计算机学报 2016(10)
- [6].基于条件函数依赖的挖掘算法研究[J]. 计算机技术与发展 2015(05)
- [7].条件函数依赖的增量计算[J]. 系统工程与电子技术 2015(11)
- [8].条件函数依赖及其在领域无关数据清洗中的应用[J]. 微型电脑应用 2012(09)
- [9].基于条件函数依赖的隐私保护模型[J]. 计算机应用研究 2012(10)
- [10].位模式下粗糙函数依赖近似度量的研究[J]. 计算机工程与应用 2011(02)
- [11].粒计算支持的粗糙函数依赖的研究[J]. 计算机工程与应用 2010(10)
- [12].模式分解保持函数依赖的意义[J]. 电子科技 2010(12)
- [13].数据库弱函数依赖推理规则挖掘方法[J]. 微计算机信息 2009(12)
- [14].基于属性预扫描的不确定性函数依赖挖掘[J]. 清华大学学报(自然科学版) 2009(06)
- [15].条件函数依赖与数据质量控制[J]. 信息系统工程 2009(11)
- [16].基于关联规则的条件函数依赖发现及数据修复[J]. 计算机应用研究 2016(02)
- [17].一种扩展条件函数依赖的发现算法[J]. 计算机研究与发展 2015(01)
- [18].一种增量发现条件函数依赖的算法[J]. 计算机工程与科学 2013(08)
- [19].基于抽象解释的非函数依赖不变量的检测方法[J]. 计算机技术与发展 2012(04)
- [20].数据约束表达研究——比较条件函数依赖与传统函数依赖[J]. 洛阳师范学院学报 2011(11)
- [21].一种条件函数依赖挖掘算法的分析与实现[J]. 计算机与数字工程 2012(09)
- [22].函数依赖和多值依赖性质的算子化证明[J]. 计算机工程 2009(18)
- [23].关系模式中候选关键字的图论求解法[J]. 河西学院学报 2009(02)
- [24].基于水利普查数据的函数依赖关系算法[J]. 计算机与现代化 2014(08)
- [25].基于分布式计算框架的不一致数据修复算法[J]. 计算机应用 2019(S2)
- [26].一种基于函数依赖图的构件抽取方法[J]. 南京邮电大学学报(自然科学版) 2010(06)
- [27].基于函数依赖与或图的关系模式规范化方法[J]. 淮南师范学院学报 2009(05)
- [28].等价类中弱函数依赖的粗糙集度量[J]. 电子科技大学学报 2013(06)
- [29].条件依赖理论及其应用展望[J]. 计算机科学 2009(12)
- [30].基于依赖的数据一致性研究进展[J]. 计算机应用 2018(S2)