| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 第一章 绪论 | 第8-13页 |
| ·研究背景 | 第8-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·本文所要完成的工作 | 第11页 |
| ·本文的组织结构 | 第11-13页 |
| 第二章 相关概念及理论 | 第13-24页 |
| ·XML概述 | 第13-19页 |
| ·XML数据模型 | 第13-15页 |
| ·XML数据模式 | 第15-17页 |
| ·XML查询语言 | 第17-19页 |
| ·自动机理论 | 第19-23页 |
| ·基本概念 | 第19-20页 |
| ·正则表达式与自动机的转换 | 第20-22页 |
| ·有限状态自动机的最小化 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 XQuery文档的有效性验证 | 第24-35页 |
| ·XQuery文档有效性验证问题的提出 | 第24页 |
| ·基于 XML Schema类型验证方法的分析 | 第24-25页 |
| ·基于树自动机的 XML Schema类型验证算法的分析与改进 | 第25-34页 |
| ·相关术语及定义 | 第25-27页 |
| ·基于树自动机的 XML Schema类型验证算法分析 | 第27-29页 |
| ·基于树自动机的 XML Schema类型验证算法的改进 | 第29-34页 |
| ·改进后的算法分析 | 第34页 |
| ·本章小结 | 第34-35页 |
| 第四章 XML文档的查询优化处理 | 第35-55页 |
| ·问题的提出 | 第35页 |
| ·XML树模式查询的逻辑优化 | 第35-47页 |
| ·XML查询逻辑优化的分析 | 第35-38页 |
| ·XML树模式查询优化算法的设计 | 第38-45页 |
| ·实验分析 | 第45-47页 |
| ·基于视图的XML局部查询重写技术的分析与设计 | 第47-53页 |
| ·XML查询重写 | 第48页 |
| ·基于视图的 XML局部查询重写技术的设计 | 第48-51页 |
| ·查询重写的优化实现 | 第51-52页 |
| ·实例分析 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第五章 XML文档处理系统的设计及实现 | 第55-62页 |
| ·系统体系结构的整体设计 | 第55-56页 |
| ·XML文档处理系统的实现 | 第56-57页 |
| ·实验及其结果分析 | 第57-61页 |
| ·本章小结 | 第61-62页 |
| 第六章 结束语 | 第62-64页 |
| ·本文总结 | 第62页 |
| ·对下一步工作的展望 | 第62-64页 |
| 参考文献 | 第64-67页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第67-68页 |
| 致谢 | 第68页 |
