| 摘要 | 第1-8页 |
| Abstract | 第8-16页 |
| 第1章 绪论 | 第16-32页 |
| ·课题背景及研究的目的和意义 | 第16-19页 |
| ·XML 简介 | 第19-21页 |
| ·XML 的特点 | 第19-20页 |
| ·XML 的应用前景 | 第20-21页 |
| ·国内外研究现状 | 第21-29页 |
| ·不完全信息环境下关系数据库的规范化理论 | 第21-23页 |
| ·XML 数据库的规范化理论 | 第23-27页 |
| ·XML Schema 的相关理论 | 第27-28页 |
| ·存在的问题 | 第28-29页 |
| ·本文研究的主要内容及组织结构 | 第29-32页 |
| 第2章 XML 强函数依赖的推理规则 | 第32-42页 |
| ·基本概念 | 第32-35页 |
| ·XML 强函数依赖的定义和性质 | 第35-38页 |
| ·XML 强函数依赖的定义 | 第35-37页 |
| ·XML 强函数依赖的性质 | 第37-38页 |
| ·XSFD 的推理规则集 | 第38-41页 |
| ·XSFD 推理规则集的正确性 | 第38-40页 |
| ·XSFD 推理规则集的完备性 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第3章 XML 强闭包依赖范式 | 第42-63页 |
| ·XML 强闭包依赖的定义和性质 | 第42-46页 |
| ·XML 强闭包依赖的定义 | 第42-45页 |
| ·XML 强闭包依赖的性质 | 第45-46页 |
| ·XSIND 的推理规则集 | 第46-49页 |
| ·XSIND 推理规则集的正确性 | 第46-47页 |
| ·XSIND 推理规则集的完备性 | 第47-49页 |
| ·XSFD 和XSIND 之间的关系 | 第49-50页 |
| ·XSIND 范式 | 第50-62页 |
| ·XSIND 产生数据冗余的原因 | 第50页 |
| ·XSFD 和非循环XSIND 互不影响的判定条件 | 第50-54页 |
| ·XSIND 范式的判定条件 | 第54-58页 |
| ·转换S 为XSIND 范式的算法 | 第58-62页 |
| ·本章小结 | 第62-63页 |
| 第4章 存在XML 强多值依赖的XML 文档规范化 | 第63-75页 |
| ·XML 强多值依赖的定义 | 第63-64页 |
| ·不完全XML 文档树满足XSMVD 范式的条件 | 第64-68页 |
| ·转换不完全XML 文档树为XSMVD 范式的算法 | 第68-71页 |
| ·实例分析 | 第71-74页 |
| ·本章小结 | 第74-75页 |
| 第5章 存在XSFD 的XML Schema 规范化 | 第75-92页 |
| ·预备知识 | 第75-80页 |
| ·XSFD 的定义及推理规则集 | 第80-83页 |
| ·XSFD 的成员籍问题 | 第83-86页 |
| ·XML 强函数依赖范式 | 第86-87页 |
| ·规范化算法 | 第87-90页 |
| ·本章小结 | 第90-92页 |
| 第6章 存在XSMVD 的XML Schema 规范化 | 第92-109页 |
| ·预备知识 | 第92-93页 |
| ·XSMVD 的定义和性质 | 第93-94页 |
| ·XSMVD 的推理规则集 | 第94-99页 |
| ·XSMVD 推理规则集的正确性 | 第94-97页 |
| ·XSMVD 推理规则集的完备性 | 第97-99页 |
| ·转换XML Schema 为XSMVD 弱范式的规范化算法 | 第99-107页 |
| ·XSMVD 弱范式的定义 | 第100-103页 |
| ·规范化算法 | 第103-107页 |
| ·本章小结 | 第107-109页 |
| 结论 | 第109-111页 |
| 参考文献 | 第111-120页 |
| 攻读学位期间发表的学术论文 | 第120-121页 |
| 致谢 | 第121页 |
