| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-17页 |
| ·课题背景 | 第11-13页 |
| ·研究的目的和意义 | 第13-14页 |
| ·课题来源 | 第14-15页 |
| ·本文的工作 | 第15-17页 |
| 第2章 XQuery语言与部分求值技术 | 第17-31页 |
| ·XQuery语言的基础概念 | 第17-22页 |
| ·XQuery语言的文法 | 第17-19页 |
| ·XQuery语言的数据模型 | 第19-20页 |
| ·XQuery语言的特点 | 第20-21页 |
| ·XQuery语言的研究现状 | 第21-22页 |
| ·部分求值技术基础概念 | 第22-29页 |
| ·部分求值的基本原理—Kleene的s-m-n理论 | 第22-24页 |
| ·部分求值技术的相关定义 | 第24-26页 |
| ·部分求值技术的分类 | 第26-28页 |
| ·部分求值技术的研究现状 | 第28-29页 |
| ·存在的问题与机遇 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第3章 引用敏感性分析 | 第31-39页 |
| ·基于文档重构的XQuery语言部分求值中的新问题 | 第31-33页 |
| ·引用敏感性分析 | 第33-37页 |
| ·引用敏感性分析状态 | 第33-34页 |
| ·引用敏感性分析的方法 | 第34-35页 |
| ·引用敏感性分析的时空复杂度分析 | 第35-36页 |
| ·引用敏感性分析示例 | 第36-37页 |
| ·相关工作 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第4章 绑定时间分析 | 第39-49页 |
| ·XQuery语言部分求值实现策略的选择 | 第39页 |
| ·XQuery语言部分求值中的两阶段BTA | 第39-47页 |
| ·绑定时间分析状态 | 第40-41页 |
| ·函数展开例化模式 | 第41-42页 |
| ·动态分支标记 | 第42-43页 |
| ·第一阶段的绑定时间分析 | 第43-45页 |
| ·第二阶段的绑定时间分析 | 第45-46页 |
| ·绑定时间分析的时空复杂度 | 第46-47页 |
| ·绑定时间分析示例 | 第47页 |
| ·相关工作 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第5章 程序例化 | 第49-57页 |
| ·XQuery语言部分求值中的例化处理 | 第49-53页 |
| ·程序例化方法 | 第49-52页 |
| ·程序例化的时空复杂度分析 | 第52-53页 |
| ·不同应用环境下的例化方式 | 第53-55页 |
| ·编译时刻例化 | 第53-54页 |
| ·运行时刻例化 | 第54-55页 |
| ·例化示例 | 第55页 |
| ·相关工作 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第6章 部分求值系统与XQJ应用框架 | 第57-67页 |
| ·XQuery语言部分求值系统――XQPE | 第57-62页 |
| ·XQPE的系统结构 | 第57-58页 |
| ·XQPE的对外接口 | 第58-59页 |
| ·实验与结果分析 | 第59-62页 |
| ·基于部分求值的XQJ应用框架 | 第62-65页 |
| ·XQJ | 第62-63页 |
| ·基于XQuery语言部分求值的动态编译 | 第63-64页 |
| ·XQJ应用框架 | 第64-65页 |
| ·实验与结果分析 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 结论 | 第67-71页 |
| 论文的主要工作 | 第67-69页 |
| 论文中的主要创新点 | 第69页 |
| 今后工作展望 | 第69-71页 |
| 参考文献 | 第71-78页 |
| 附录 | 第78-104页 |
| 附录1 引用敏感性分析规则 | 第78-83页 |
| 附录2 第一阶段绑定时间分析规则 | 第83-89页 |
| 附录3 第二阶段绑定时间分析规则 | 第89-96页 |
| 附录4 例化规则 | 第96-104页 |
| 攻读博士期间所发表的学术论文 | 第104页 |
| 申请的专利 | 第104-105页 |
| 致谢 | 第105页 |