基于时态逻辑的XQuery树模式优化
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-16页 |
| ·研究背景与研究意义 | 第8-10页 |
| ·相关工作 | 第10-13页 |
| ·树模式 | 第10-11页 |
| ·树模式优化 | 第11-12页 |
| ·时态逻辑应用 | 第12-13页 |
| ·现有研究工作不足 | 第13页 |
| ·本文研究工作 | 第13-14页 |
| ·本文组织结构 | 第14-16页 |
| 第2章 背景知识及相关技术 | 第16-30页 |
| ·XQuery查询 | 第16-20页 |
| ·XQuery | 第16-17页 |
| ·树模式 | 第17-19页 |
| ·树模式形式化定义 | 第19-20页 |
| ·时态逻辑 | 第20-22页 |
| ·CTL简介 | 第21页 |
| ·模型检查 | 第21-22页 |
| ·XML Schema特征 | 第22-26页 |
| ·特征定义 | 第23-24页 |
| ·特征表示与提取 | 第24-26页 |
| ·树模式优化规则 | 第26-28页 |
| ·概述 | 第26页 |
| ·优化规则列表 | 第26-27页 |
| ·树模式优化举例 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第3章 优化规则描述语言及其扩展 | 第30-38页 |
| ·ORS语言 | 第30-32页 |
| ·ORS简介 | 第30-32页 |
| ·ORS语言的局限性 | 第32页 |
| ·扩展后的语言ORS+ | 第32-37页 |
| ·ORS+语法 | 第33-34页 |
| ·ORS+语义 | 第34-37页 |
| ·本章小结 | 第37-38页 |
| 第4章 树模式优化规则及其ORS+表示 | 第38-46页 |
| ·已有优化规则表示 | 第38-39页 |
| ·新增加的优化规则及其表示 | 第39-42页 |
| ·扩展的优化规则列表 | 第39-40页 |
| ·带弱绑定优化规则表示 | 第40-41页 |
| ·带AND/OR谓词的优化规则表示 | 第41-42页 |
| ·树模式优化举例 | 第42-44页 |
| ·带弱绑定的树模式优化 | 第42-43页 |
| ·带AND/OR谓词的树模式优化 | 第43-44页 |
| ·本章小结 | 第44-46页 |
| 第5章 树模式优化工具实现 | 第46-58页 |
| ·开发环境 | 第46页 |
| ·树模式优化架构 | 第46-47页 |
| ·ORS+语言解析模块 | 第47-52页 |
| ·词法分析模块 | 第47-49页 |
| ·语法分析模块 | 第49-52页 |
| ·优化动作输出模块 | 第52-53页 |
| ·用户界面 | 第53-56页 |
| ·本章小结 | 第56-58页 |
| 结论 | 第58-60页 |
| 参考文献 | 第60-64页 |
| 攻读硕士学位期间发表的学术论文 | 第64-66页 |
| 致谢 | 第66页 |
