| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第一章 绪论 | 第8-12页 |
| ·研究背景 | 第8页 |
| ·数据集成概述 | 第8-9页 |
| ·现阶段解决方案 | 第9-10页 |
| ·本文的主要工作 | 第10页 |
| ·全文安排 | 第10-12页 |
| 第二章 基于数据服务的数据集成平台 | 第12-17页 |
| ·设计背景 | 第12-13页 |
| ·数据服务 | 第13-14页 |
| ·数据服务概念 | 第13页 |
| ·数据服务内容 | 第13-14页 |
| ·平台总体设计 | 第14-16页 |
| ·公共数据模型 | 第15页 |
| ·多数据源查询引擎 | 第15页 |
| ·数据服务管理平台 | 第15-16页 |
| ·数据服务开发工具 | 第16页 |
| ·本章小结 | 第16-17页 |
| 第三章 数据服务模型设计 | 第17-29页 |
| ·总体设计 | 第17-20页 |
| ·数据源映射模块 | 第18页 |
| ·查询编辑模块 | 第18页 |
| ·目标格式定义模块 | 第18-19页 |
| ·静态检测模块 | 第19-20页 |
| ·调试执行模块 | 第20页 |
| ·XQuery 查询语言简介 | 第20-22页 |
| ·XQuery 表达式 | 第20-21页 |
| ·XQuery 类型系统 | 第21-22页 |
| ·利用EMF 对系统建模 | 第22-28页 |
| ·EMF 简介 | 第22-23页 |
| ·数据源模型 | 第23-24页 |
| ·公共元数据模型 | 第24-26页 |
| ·XQuery 元素模型 | 第26-27页 |
| ·数据服务模型 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第四章 基于Eclipse 的数据服务开发工具实现 | 第29-42页 |
| ·GEF 简介 | 第29-31页 |
| ·数据服务编辑器 | 第31-41页 |
| ·总体结构 | 第31-32页 |
| ·实现查询编辑器 | 第32-35页 |
| ·添加监听器 | 第35-37页 |
| ·添加菜单及动作 | 第37-38页 |
| ·实现属性页及大纲视图 | 第38-40页 |
| ·其他构件 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第五章 XQuery 静态检测 | 第42-66页 |
| ·XQuery 类型系统 | 第43-44页 |
| ·XQuery 静态语义 | 第44-47页 |
| ·静态检测定义 | 第44-45页 |
| ·静态运行环境 | 第45页 |
| ·静态检测规则 | 第45-47页 |
| ·类型检测算法与实现 | 第47-58页 |
| ·Factorization 算法 | 第47-50页 |
| ·Factorization 算法实现 | 第50页 |
| ·子类型算法 | 第50-51页 |
| ·子类型算法实现 | 第51-58页 |
| ·静态类型检测 | 第58-62页 |
| ·数据服务模型遍历 | 第58-59页 |
| ·查询代码生成 | 第59-60页 |
| ·目标模式生成 | 第60页 |
| ·类型检测构建器 | 第60-62页 |
| ·数据服务文件格式 | 第62-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 应用案例与结论 | 第66-72页 |
| ·应用案例 | 第66-71页 |
| ·案例介绍 | 第66-67页 |
| ·数据服务构建 | 第67-71页 |
| ·结论 | 第71-72页 |
| 参考文献 | 第72-75页 |
| 发表论文和参加科研情况说明 | 第75-76页 |
| 附录 | 第76-80页 |
| 致谢 | 第80页 |