文摘
英文文摘
声明
第1章 绪 论
1.1 课题背景
1.2 研究的目的和意义
1.3 课题来源
1.4 本文的工作
第2章 XOuery语言与部分求值技术
2.1 XQuery语言的基础概念
2.1.1 XQuery语言的文法
2.1.2 XQuery语言的数据模型
2.1.3 XQuery语言的特点
2.1.4 XQuery语言的研究现状
2.2 部分求值技术基础概念
2.2.1 部分求值的基本原理-Kleene的s—η-n理论
2.2.2部分求值技术的相关定义
2.2.3部分求值技术的分类
2.2.4部分求值技术的研究现状
2.3 存在的问题与机遇
2.4 本章小结
第3章 引用敏感性分析
3.1 基于文档重构的XQuery语言部分求值中的新问题
3.2 引用敏感性分析
3.2.1 引用敏感性分析状态
3.2.2引用敏感性分析的方法
3.2.3 引用敏感性分析的时空复杂度分析
3.2.4引用敏感性分析示例
3.3 相关工作
3.4 本章小结
第4章 绑定时间分析
4.1 XQuery语言部分求值实现策略的选择
4.2 XQuery语言部分求值中的两阶段BTA
4.2.1 绑定时间分析状态
4.2.2函数展开例化模式
4.2.3动态分支标记
4.2.4第一阶段的绑定时间分析
4.2.5第二阶段的绑定时间分析
4.2.6绑定时间分析的时空复杂度
4.2.7绑定时间分析示例
4.3 相关工作
4.4 本章小结
第5章 程序例化
5.1 XQuery语言部分求值中的例化处理
5.1.1程序例化方法
5.1.2程序例化的时空复杂度分析
5.2 不同应用环境下的例化方式
5.2.1编译时刻例化
5.2.2运行时刻例化
5.3 例化示例
5.4 相关工作
5.5 本章小结
第6章 部分求值系统与XQJ应用框架
6.1 XQuery语言部分求值系统——XQPE
6.1.1 XQPE的系统结构
6.1.2 XQPE的对外接口
6.1.3 实验与结果分析
6.2 基于部分求值的XQJ应用框架
6.2.1 XQJ
6.2.2 基于XQuery语言部分求值的动态编译
6.2.3 XQJ应用框架
6.3 实验与结果分析
6.4 本章小结
结论
论文的主要工作
论文中的主要创新点
今后工作展望
参考文献
附 录
攻读博士期间所发表的学术论文及申请的专利
致谢