基于语义约束的XML规范化的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-13页 |
| ·论文研究的背景 | 第9页 |
| ·国内外研究现状 | 第9-10页 |
| ·研究内容及意义 | 第10-12页 |
| ·本文研究的内容 | 第10-11页 |
| ·研究的理论和实际意义 | 第11-12页 |
| ·本文结构 | 第12-13页 |
| 2 XML 相关概念 | 第13-20页 |
| ·XML 及分类 | 第13-14页 |
| ·以文档为中心 | 第13页 |
| ·以数据为中心 | 第13-14页 |
| ·DTD | 第14-16页 |
| ·XML 树 | 第16-18页 |
| ·DTD 与XML 树对应关系 | 第18-19页 |
| ·最大公共路径 | 第19-20页 |
| 3 XML 函数依赖与XML 多值依赖 | 第20-31页 |
| ·XML 函数依赖 | 第20-22页 |
| ·XML 函数依赖的推理系统 | 第22-28页 |
| ·XML 函数依赖的逻辑蕴涵 | 第22-23页 |
| ·XML 函数依赖的推理规则 | 第23-24页 |
| ·DTD 路径集闭包 | 第24-26页 |
| ·XML 函数依赖集的等价和覆盖 | 第26-28页 |
| ·XML 多值依赖 | 第28-30页 |
| ·小结 | 第30-31页 |
| 4 XML 范式及XML 规范化 | 第31-51页 |
| ·XML 范式 | 第31-32页 |
| ·XML 部分、传递依赖的查找 | 第32-37页 |
| ·XML 部分依赖的查找 | 第32-35页 |
| ·XML 传递依赖的查找 | 第35-37页 |
| ·XML 规范化规则 | 第37-45页 |
| ·提升规则 | 第37-39页 |
| ·重组规则 | 第39-42页 |
| ·拆分规则 | 第42-45页 |
| ·DTD 分解 | 第45-48页 |
| ·DTD 的无损分解 | 第45-47页 |
| ·DTD 的保持依赖的分解 | 第47-48页 |
| ·保持无损与依赖的XML 规范化 | 第48-50页 |
| ·小结 | 第50-51页 |
| 5 结论与展望 | 第51-53页 |
| ·结论 | 第51-52页 |
| ·展望 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 附录 | 第56-58页 |
| 附录A 作者在攻读学位期间发表的论文目录 | 第56-58页 |
