学位论文 > 优秀研究生学位论文题录展示

基于语义约束的XML规范化的研究

作　者: 肖晖
导　师: 罗军
学　校: 重庆大学
专　业: 计算机系统与结构
关键词: XML 语义约束函数依赖范式规范化
分类号: TP312.2
类　型: 硕士论文
年　份: 2008年
下　载: 185次
引　用: 2次
阅　读: 论文下载

内容摘要

由于XML[1]具有半结构化、自描述性、灵活性、可扩展性等特点,实现了结构、内容、显示的分离,这有利于机器之间的数据交换和用户的个性化显示以及数据集成等。因此,XML自从发布以来就受到了各界的广泛关注,并且很快便成为了Web上数据表示、交换、集成的标准。随着互联网上涌现出大量的XML数据,这对XML技术提出了更高的要求,目前XML数据的存储与发布、XML数据查询与优化等已有一些成果,特别是与关系数据的转换技术已相当成熟。但是这种转换只是保留了结构信息,二没有从数据库设计[2]的角度来评价XML数据库模式,这势必造成XML数据的处理异常。本文将在XML语义约束的基础上研究XML规范化,减少XML数据冗余,保持XML数据一致性[3],消除XML的操作异常。主要研究成果如下:1.在DTD[4]和XML树的定义基础上,给出了它们的路径、节点以及相互之间存在的对应关系的定义;2.在XML树元组的基础上提出了XML函数依赖[5]的概念,并给出了XML完全函数依赖、XML部分依赖、XML传递依赖和XML多值依赖的概念;3.给出了XML函数依赖逻辑蕴涵的定义和XML函数依赖推理规则,并证明了规则的有效性、完备性;研究了XML函数依赖集的等价和最小XML函数依赖集的求解算法;4.给出了XML不同级别范式的定义;给出了查找XML部分依赖对和XML传递依赖组的算法;5.分别给出了消除XML部分依赖和XML传递依赖、XML多值依赖的提升规则、重组规则和拆分规则,并从理论上证明了它们是保持无损和依赖的DTD分解;给出了保持无损与依赖的XML规范化算法。

全文目录

摘要  4-5
ABSTRACT  5-9
1 绪论  9-13
  1.1 论文研究的背景  9
  1.2 国内外研究现状  9-10
  1.3 研究内容及意义  10-12
    1.3.1 本文研究的内容  10-11
    1.3.2 研究的理论和实际意义  11-12
  1.4 本文结构  12-13
2 XML 相关概念  13-20
  2.1 XML 及分类  13-14
    2.1.1 以文档为中心  13
    2.1.2 以数据为中心  13-14
  2.2 DTD  14-16
  2.3 XML 树  16-18
  2.4 DTD 与XML 树对应关系  18-19
  2.5 最大公共路径  19-20
3 XML 函数依赖与XML 多值依赖  20-31
  3.1 XML 函数依赖  20-22
  3.2 XML 函数依赖的推理系统  22-28
    3.2.1 XML 函数依赖的逻辑蕴涵  22-23
    3.2.2 XML 函数依赖的推理规则  23-24
    3.2.3 DTD 路径集闭包  24-26
    3.2.4 XML 函数依赖集的等价和覆盖  26-28
  3.3 XML 多值依赖  28-30
  3.4 小结  30-31
4 XML 范式及XML 规范化  31-51
  4.1 XML 范式  31-32
  4.2 XML 部分、传递依赖的查找  32-37
    4.2.1 XML 部分依赖的查找  32-35
    4.2.2 XML 传递依赖的查找  35-37
  4.3 XML 规范化规则  37-45
    4.3.1 提升规则  37-39
    4.3.2 重组规则  39-42
    4.3.3 拆分规则  42-45
  4.4 DTD 分解  45-48
    4.4.1 DTD 的无损分解  45-47
    4.4.2 DTD 的保持依赖的分解  47-48
  4.5 保持无损与依赖的XML 规范化  48-50
  4.6 小结  50-51
5 结论与展望  51-53
  5.1 结论  51-52
  5.2 展望  52-53
致谢  53-54
参考文献  54-56
附录  56-58
  附录A 作者在攻读学位期间发表的论文目录  56-58

基于语义约束的XML规范化的研究

内容摘要

全文目录

相似论文