| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-24页 |
| ·背景和研究意义 | 第10-12页 |
| ·相关研究 | 第12-21页 |
| ·论文贡献与创新点 | 第21-22页 |
| ·论文组织 | 第22-24页 |
| 第2章 基于XQuery的增量计算程序自动生成方法 | 第24-44页 |
| ·基础知识 | 第24-26页 |
| ·XML | 第24-25页 |
| ·XQuery和XPath | 第25-26页 |
| ·问题定义 | 第26-31页 |
| ·基于XQuery的增量计算程序自动生成方法 | 第31-39页 |
| ·查询代数XQA和FXQL语言 | 第31-34页 |
| ·设计思想 | 第34-36页 |
| ·方法描述 | 第36-39页 |
| ·相关研究比较 | 第39-42页 |
| ·本章小结 | 第42-44页 |
| 第3章 XPath表达式变更区域分析方法 | 第44-64页 |
| ·动机 | 第44-46页 |
| ·基础概念 | 第46-48页 |
| ·响应XML数据更新的变更区域捕获算法 | 第48-56页 |
| ·设计思想 | 第48-51页 |
| ·算法描述 | 第51-56页 |
| ·算法正确性分析 | 第56页 |
| ·响应计算输入数据更新的变更区域捕获算法 | 第56-60页 |
| ·设计思想 | 第56-57页 |
| ·算法描述 | 第57-58页 |
| ·算法正确性分析 | 第58-60页 |
| ·XPath表达式变更区域分析方法应用价值 | 第60-61页 |
| ·相关研究比较 | 第61-62页 |
| ·本章小结 | 第62-64页 |
| 第4章 基于双向分析的增量更新代码生成技术 | 第64-84页 |
| ·动机 | 第64-66页 |
| ·双向分析规则设计 | 第66-67页 |
| ·双向分析规则描述 | 第67-82页 |
| ·启动规则 | 第67-68页 |
| ·IncDown规则 | 第68-71页 |
| ·IncUp规则 | 第71-76页 |
| ·无法处理的算子的IncDown规则和IncUp规则 | 第76页 |
| ·基于双向分析的增量更新代码生成实例 | 第76-82页 |
| ·增量更新代码生成技术的应用限制 | 第82页 |
| ·相关研究比较 | 第82-83页 |
| ·本章小结 | 第83-84页 |
| 第5章 XQuery物化视图增量维护系统 | 第84-106页 |
| ·动机 | 第84页 |
| ·XQuery物化视图增量维护方法 | 第84-86页 |
| ·XQuery物化视图增量维护过程描述 | 第85页 |
| ·异步增量维护 | 第85-86页 |
| ·系统框架设计 | 第86-88页 |
| ·系统优化 | 第88-99页 |
| ·数据源同步机制 | 第88-90页 |
| ·XML数据更新合并 | 第90-92页 |
| ·增量更新程序合并 | 第92-99页 |
| ·实验 | 第99-104页 |
| ·实验用例和XML数据源 | 第100-101页 |
| ·实验结果 | 第101-104页 |
| ·本章小结 | 第104-106页 |
| 结论 | 第106-110页 |
| 本研究的限制 | 第106-107页 |
| 创新点 | 第107-108页 |
| 今后工作展望 | 第108-110页 |
| 参考文献 | 第110-118页 |
| 附录 | 第118-126页 |
| 附录A 增量更新代码生成正向分析IncDown规则 | 第118-122页 |
| 附录B 增量更新代码生成反向分析IncUp规则 | 第122-126页 |
| 攻读博士学位期间所取得的研究成果 | 第126页 |
| 攻读博士期间所发表的发明专利 | 第126页 |
| 攻读博士期间所发表的软件著作权 | 第126-128页 |
| 致谢 | 第128页 |
