基于约束的XML数据库模式规范化研究
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-11页 |
| 第1章 绪论 | 第11-24页 |
| ·研究背景 | 第11-17页 |
| ·国内外研究现状 | 第17-21页 |
| ·研究内容及意义 | 第21-23页 |
| ·本文研究的内容 | 第21-22页 |
| ·研究的理论和实际意义 | 第22-23页 |
| ·本文结构 | 第23-24页 |
| 第2章 基本定义及符号 | 第24-37页 |
| ·XML简介 | 第24-32页 |
| ·XML与标签 | 第24-26页 |
| ·XML特性 | 第26-27页 |
| ·XML数据库 | 第27-28页 |
| ·XML约束 | 第28-32页 |
| ·DTD | 第32-33页 |
| ·XML树 | 第33-35页 |
| ·节点值相等 | 第35页 |
| ·其他定义与符号 | 第35-37页 |
| 第3章 XML函数依赖 | 第37-54页 |
| ·XML函数依赖定义 | 第37-40页 |
| ·XML函数依赖蕴涵问题 | 第40-41页 |
| ·XML函数依赖推理规则 | 第41-48页 |
| ·推理规则正确性 | 第42-44页 |
| ·推理规则完备性 | 第44-46页 |
| ·推理规则的应用 | 第46-48页 |
| ·XML函数依赖集的覆盖问题 | 第48-53页 |
| ·等价与覆盖 | 第48页 |
| ·XML函数依赖集的无冗余覆盖 | 第48-50页 |
| ·左部路径冗余与规范覆盖集 | 第50-52页 |
| ·XML函数依赖集的最小覆盖 | 第52-53页 |
| ·小结 | 第53-54页 |
| 第4章 XML范式及文档规范化 | 第54-63页 |
| ·XML范式 | 第54-56页 |
| ·XML范式定义 | 第54-55页 |
| ·XML范式级别 | 第55页 |
| ·模式分解 | 第55-56页 |
| ·规范化规则 | 第56-59页 |
| ·元素提升规则 | 第56-57页 |
| ·元素创建规则 | 第57-59页 |
| ·规范化算法 | 第59-62页 |
| ·无损连接算法 | 第59页 |
| ·算法和实验分析 | 第59-62页 |
| ·小结 | 第62-63页 |
| 第5章 XML键约束 | 第63-75页 |
| ·XML键的定义 | 第63-67页 |
| ·XML键的推理规则 | 第67-70页 |
| ·XML绝对键的推理规则 | 第67-69页 |
| ·XML相对键的推理规则 | 第69-70页 |
| ·XML候选键求解算法 | 第70-74页 |
| ·小结 | 第74-75页 |
| 第6章 XML多值依赖 | 第75-99页 |
| ·XML多值依赖定义 | 第75-79页 |
| ·XML多值依赖推理规则 | 第79-87页 |
| ·推理规则的有效性 | 第80-85页 |
| ·推理规则的完备性 | 第85-87页 |
| ·XML多值依赖的简化 | 第87-88页 |
| ·XML多值依赖的蕴涵和覆盖 | 第88-97页 |
| ·XML多值依赖的蕴涵 | 第88-94页 |
| ·XML多值依赖的覆盖 | 第94-97页 |
| ·小结 | 第97-99页 |
| 第7章 XML文档相似性度量 | 第99-109页 |
| ·相关工作 | 第99-100页 |
| ·基本定义 | 第100页 |
| ·XML相似性度量方法 | 第100-106页 |
| ·集合度量方法 | 第100-102页 |
| ·线性度量方法 | 第102-103页 |
| ·代价度量方法 | 第103-106页 |
| ·XML文档相似性度量算法 | 第106-108页 |
| ·基于权重代价的度量算法 | 第106-107页 |
| ·算法分析 | 第107-108页 |
| ·小结 | 第108-109页 |
| 第8章 结论与展望 | 第109-111页 |
| ·结论 | 第109-110页 |
| ·展望 | 第110-111页 |
| 参考文献 | 第111-118页 |
| 攻读学位期间参与的科研项目及主要成果 | 第118-120页 |
| 致谢 | 第120-121页 |
| 作者简介 | 第121-122页 |