| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-5页 |
| 目录 | 第5-8页 |
| 第1章 引言 | 第8-15页 |
| 1．1． 研究背景与动机 | 第8-11页 |
| 1．1．1． XML技术的出现 | 第8页 |
| 1．1．2． XML的应用领域 | 第8-9页 |
| 1．1．3． XML与数据库 | 第9-11页 |
| 1．2． 国内外研究现状 | 第11-12页 |
| 1．3． 研究重点和主要内容 | 第12-13页 |
| 1．4． 论文的成果和组织 | 第13-15页 |
| 第2章 XQuery语言综述 | 第15-24页 |
| 2．1． 第一个XQuery查询 | 第15-18页 |
| 2．1．1． 被查询的XML | 第15-16页 |
| 2．1．2． 第一个XQuery | 第16-17页 |
| 2．1．3． 期望的结果 | 第17页 |
| 2．1．4． 处理过程 | 第17-18页 |
| 2．2． XQuery语言 | 第18-24页 |
| 2．2．1． XPath | 第19页 |
| 2．2．2． 基本路径表达式 | 第19-20页 |
| 2．2．3． FLWR表达式 | 第20-21页 |
| 2．2．4． XQuery中基本操作的实现方式 | 第21-24页 |
| 第3章 总体设计 | 第24-37页 |
| 3．1． 从用户的角度 | 第24-26页 |
| 3．1．1． 实际的输入和输出 | 第25页 |
| 3．1．2． 一个例子 | 第25-26页 |
| 3．2． 对几种查询语言实现的分析 | 第26-30页 |
| 3．3． 总体设计 | 第30-32页 |
| 3．4． 数据流分析 | 第32页 |
| 3．5． 一个具体的流程 | 第32-37页 |
| 第4章 语法及语法分析 | 第37-46页 |
| 4．1． 词法分析器的构造 | 第37页 |
| 4．2． 符号说明 | 第37页 |
| 4．3． XQuery语法范式 | 第37-40页 |
| 4．4． 使用XML定义的语法树 | 第40-42页 |
| 4．5． 语法分析器的构造 | 第42-43页 |
| 4．6． 语法分析的输出 | 第43-46页 |
| 第5章 数据类型 | 第46-54页 |
| 5．1． XQuery基本数据类型 | 第46-47页 |
| 5．2． 结构化的类型系统 | 第47-49页 |
| 5．3． 类型表达式 | 第49页 |
| 5．4． 基类型及其计算 | 第49-51页 |
| 5．5． 公共基类型及其计算 | 第51-54页 |
| 第6章 XQuery数据模型 | 第54-58页 |
| 6．1． XML信息集 | 第54页 |
| 6．2． XQuery数据模型 | 第54-57页 |
| 6．3． XQuery数据模型的构造 | 第57-58页 |
| 第7章 XQuery语法与Core语法 | 第58-61页 |
| 7．1． 为什么会有两种语法 | 第58-59页 |
| 7．2． Core语法 | 第59-60页 |
| 7．3． 语法转换 | 第60-61页 |
| 第8章 运行环境 | 第61-68页 |
| 8．1． 静态运行环境 | 第61-64页 |
| 8．1．1． 命名空间映射 | 第61-62页 |
| 8．1．2． 变量类型环境 | 第62页 |
| 8．1．3． 函数签名 | 第62-63页 |
| 8．1．4． 元素类型环境 | 第63-64页 |
| 8．1．5． 属性类型环境 | 第64页 |
| 8．1．6． 类型定义环境 | 第64页 |
| 8．2． 动态运行环境 | 第64-65页 |
| 8．2．1． 自定义函数 | 第64页 |
| 8．2．2． 变量值环境 | 第64-65页 |
| 8．3． 函数的处理 | 第65-67页 |
| 8．3．1． 内置函数的处理 | 第65-66页 |
| 8．3．2． 自定义函数的处理 | 第66-67页 |
| 8．4． Prolog的处理 | 第67-68页 |
| 第9章 静态类型检查和类型推导 | 第68-89页 |
| 9．1． 类型规则 | 第68-71页 |
| 9．2． 子类型关系 | 第71-85页 |
| 9．2．1． 树自动机及一些定义 | 第72-75页 |
| 9．2．2． 从XQuery到External | 第75-77页 |
| 9．2．3． 从External到Internal | 第77-81页 |
| 9．2．4． SubType算法 | 第81-85页 |
| 9．3． 值-域关系 | 第85-89页 |
| 9．3．1． inDOM算法 | 第85-89页 |
| 第10章 计算查询结果 | 第89-94页 |
| 10．1． 序类型 | 第89-90页 |
| 10．2． 计算规则 | 第90-94页 |
| 第11章 运行及性能分析 | 第94-110页 |
| 11．1． 运行界面 | 第94页 |
| 11．2． 测试数据说明 | 第94-97页 |
| 11．3． 单文档查询 | 第97-101页 |
| 11．4． 多文档查询 | 第101-105页 |
| 11．5． 性能分析 | 第105-110页 |
| 第12章 结束语 | 第110-112页 |
| 12．1． 总结 | 第110页 |
| 12．2． 进一步的工作 | 第110-112页 |
| 参考文献 | 第112-115页 |
| 索引 | 第115-117页 |
| 致谢 | 第117页 |