| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 第一章 引言 | 第8-15页 |
| ·问题的提出 | 第8-9页 |
| ·研究现状 | 第9-10页 |
| ·主要结果 | 第10-15页 |
| ·XML文档的函数依赖及其推理规则 | 第10-12页 |
| ·XML文档的范式XNF-1和XNF-2 | 第12-14页 |
| ·XML文档的多值依赖与范式XNF-3 | 第14-15页 |
| 第二章 XML文档的函数依赖及其推理规则 | 第15-33页 |
| ·问题的提出 | 第15-17页 |
| ·XML文档的函数依赖的定义 | 第17-23页 |
| ·预备知识 | 第17-20页 |
| ·XML文档的函数依赖的定义 | 第20-22页 |
| ·XML文档函数依赖的XML语法表示 | 第22-23页 |
| ·XML文档函数依赖的推理规则集 | 第23-27页 |
| ·XML文档函数依赖推理规则集的完备性 | 第27-30页 |
| ·XML文档的函数依赖和键 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 XML文档的规范化 | 第33-61页 |
| ·问题的提出 | 第33-37页 |
| ·间接函数依赖和传递函数依赖 | 第37-42页 |
| ·间接函数依赖 | 第37-40页 |
| ·传递函数依赖 | 第40-42页 |
| ·XML文档的范式 | 第42-48页 |
| ·范式XNF-1和XNF-2 | 第42-45页 |
| ·XNF-1和XNF-2之间及其与关系数据库范式的关系 | 第45-48页 |
| ·XML文档的规范化 | 第48-60页 |
| ·DTD的无损联接分解 | 第48-50页 |
| ·规范化规则 | 第50-55页 |
| ·规范化算法 | 第55-60页 |
| ·本章小结 | 第60-61页 |
| 第四章 XML文档的多值依赖与第三种范式 | 第61-75页 |
| ·问题的提出 | 第61-63页 |
| ·XML文档的多值依赖与范式XNF-3 | 第63-68页 |
| ·XNF-3与4NF及XNF-2的关系 | 第68-70页 |
| ·XNF-3和关系数据库的4NF的关系 | 第68-70页 |
| ·XNF-3与XNF-2的关系 | 第70页 |
| ·DTD无损联接地分解成XNF-3范式 | 第70-74页 |
| ·本章小结 | 第74-75页 |
| 第五章 结论及将来工作 | 第75-77页 |
| ·结论 | 第75-76页 |
| ·将来的工作 | 第76-77页 |
| 附录A XML简介 | 第77-84页 |
| A. 1 XML的发展历史 | 第77页 |
| A. 2 XML的特点 | 第77-78页 |
| A. 3 XML的技术规范 | 第78-80页 |
| A. 4 XML语法简介 | 第80-82页 |
| A. 5 DTD语法简介 | 第82-84页 |
| 参考文献 | 第84-91页 |
| 致谢 | 第91-92页 |