空间数据库规则技术研究
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-17页 |
| ·课题背景与来源 | 第11-12页 |
| ·国内外研究现状 | 第12-15页 |
| ·空间数据库研究现状 | 第12-13页 |
| ·空间规则技术研究现状 | 第13-15页 |
| ·主要研究内容 | 第15-16页 |
| ·论文组织结构 | 第16-17页 |
| 第二章 空间规则模型 | 第17-30页 |
| ·ECA 规则 | 第17-21页 |
| ·具有主动性的空间数据库管理系统 | 第17-18页 |
| ·ECA 规则 | 第18-20页 |
| ·规则的执行模型 | 第20-21页 |
| ·空间数据模型 | 第21-25页 |
| ·空间数据描述 | 第21-22页 |
| ·空间数据的分类 | 第22-24页 |
| ·空间关系的分类 | 第24-25页 |
| ·空间ECA 模型 | 第25-29页 |
| ·传统数据库的完整性约束 | 第25-26页 |
| ·空间数据库的完整性约束 | 第26页 |
| ·空间ECA 规则模型 | 第26-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 空间规则解析 | 第30-48页 |
| ·IngreSDB 体系结构 | 第30-32页 |
| ·Ingres 体系结构 | 第30-31页 |
| ·空间数据库管理系统IngreSDB | 第31-32页 |
| ·空间规则解析 | 第32-36页 |
| ·Ingres 的查询解析器 | 第32-34页 |
| ·空间规则语法 | 第34-35页 |
| ·空间规则解析 | 第35-36页 |
| ·多线程GSQL 解析器的设计与实现 | 第36-44页 |
| ·PostGIS 的解析器 | 第36-38页 |
| ·支持多线程的GSQL 的解析器 | 第38-39页 |
| ·GSQL 解析器内存管理 | 第39-44页 |
| ·实验验证 | 第44-47页 |
| ·单线程和多线程对比 | 第44-45页 |
| ·内存管理性能对比 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第四章 空间规则终止性分析 | 第48-59页 |
| ·ECA 规则终止性分析方法概述 | 第48-49页 |
| ·基于图的基本归约算法 | 第49-50页 |
| ·触发图 | 第49页 |
| ·活化图 | 第49-50页 |
| ·基于关联图的修正算法 | 第50-54页 |
| ·惰化图和关联图 | 第50-51页 |
| ·基于关联图的终止性分析修正算法 | 第51-54页 |
| ·基于触发路径的终止性分析算法 | 第54-58页 |
| ·关联图修正算法的保守性 | 第54页 |
| ·基于触发路径的终止性分析算法 | 第54-58页 |
| ·与其他算法的比较 | 第58页 |
| ·本章小结 | 第58-59页 |
| 第五章 空间规则技术的应用 | 第59-74页 |
| ·空间数据一致性维护 | 第59-68页 |
| ·空间元数据自动注册 | 第59-66页 |
| ·空间数据一致性维护 | 第66-68页 |
| ·空间业务规则 | 第68-72页 |
| ·应用于LBS 的空间业务规则 | 第68-70页 |
| ·应用于GeoServer 的空间规则 | 第70-72页 |
| ·本章小结 | 第72-74页 |
| 第六章 总结 | 第74-76页 |
| ·主要研究成果 | 第74-75页 |
| ·未来工作 | 第75-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-81页 |
| 攻读硕士学位期间取得的学术成果 | 第81页 |
| 攻读硕士学位期间参加的科研项目 | 第81页 |
