移动对象数据库

前言第1章 概述1.1 数据库管理系统1.2 空间数据库1.2.1 空间概念建模1.2.2 数据模型和查询语言扩展1.2.3 实现策略1.3 时态数据库1.3.1 传统数据库中的时态信息管理1.3.2 时间域1.3.3 时间维1.3.4 数据模型扩展1.3.5 查询语言扩展：TSQL21.4 移动对象1.4.1 位置管理视角1.4.2 时空数据视角1.4.3 移动对象以及相关的查询问题1.4.4 时空数据分类1.4.5 支持空间数据类型的时态数据库1.4.6 时空数据类型1.5 进一步练习1.6 参考文献注释第2章 早期的时空数据库2.1 空间双时态对象2.1.1 一个应用场景2.1.2 双时态元素2.1.3 空间对象的单纯复形建模2.1.4 空间双时态对象2.1.5 空间双时态操作2.1.6 时空数据库查询2.2 基于事件的方法2.2.1 模型2.2.2 查询处理算法2.3 进一步练习2.4 参考文献注释第3章 当前移动的建模与查询3.1 位置管理3.2 MOST——针对当前和未来的移动的数据模型3.2.1 基本假设3.2.2 动态属性3.2.3 对象位置表示3.2.4 数据库历史3.2.5 3种查询类型3.3 FTL——基于未来时态逻辑的查询语言3.3.1 查询例子3.3.2 语法3.3.3 语义3.3.4 FTL查询求解3.4 位置更新——平衡更新代价和不精确性3.4.1 背景3.4.2 运动过程的信息代价3.4.3 基于代价优化的推测定位策略3.4.4 推测定位位置更新策略3.5 移动对象轨迹的不确定性3.5.1 轨迹模型3.5.2 轨迹的不确定性概念3.5.3 移动对象的不确定性查询3.5.4 时空操作算法与时空谓词算法3.6 进一步练习3.7 参考文献注释第4章 移动历史的建模与查询4.1 基于抽象数据类型的方法4.1.1 类型和操作4.1.2 抽象模型与离散模型4.1.3 抽象数据类型的语言嵌入4.2 抽象模型4.2.1 数据类型4.2.2 数据类型的形式化定义4.2.3 操作概述4.2.4 非时态类型上的操作4.2.5 时态类型上的操作4.2.6 对象集合上的操作4.3 离散模型4.3.1 概述4.3.2 非时态类型4.3.3 时态类型4.4 时空谓词及其演变4.4.1 动机4.4.2 空间对象的拓扑谓词4.4.3 拓扑谓词的时态提升问题4.4.4 时态聚集4.4.5 基本时空谓词4.4.6 演变：时态谓词序列4.4.1 演变的简明语法4.4.8 时空谓词代数4.4.9 例子4.4.1 0时空谓词的标准集合4.4.1 1STQL中的演变查询4.5 进一步练习4.6 参考文献注释第5章 移动对象类型的数据结构和算法5.1 数据结构5.1.1 一般性要求和策略5.1.2 非时态数据类型5.1.3 时态数据类型5.2 时态数据类型上的操作算法5.2.1 一般性考虑5.2.2 投影到域/范围5.2.3 与域/范围的交互5.2.4 变化率5.3 提升操作算法5.3.1 谓词5.3.2 集合操作5.3.3 聚集5.3.4 数值特性5.3.5 距离和方向5.3.6 布尔操作5.4 进一步练习5.5 参考文献注释第6章 约束数据库方法6.1 抽象模型：无限关系6.1.1 平面关系6.1.2 嵌套关系6.1.3 结论6.2 离散模型：约束关系6.2.1 基于约束的空问模型6.2.2 线性约束数据模型6.2.3 约束关系上的关系代数6.3 约束模型的实现6.3.1 约束关系的表示6.3.2 符号关系(约束公式)的表示6.3.3 数据装载和转换6.3.4 符号元组的规范化6.3.5 代数操作的实现6.4 进一步练习6.5 参考文献注释第7章 时空索引7.1 几何学前提7.1.1 基于R树家族的多维空间索引7.1.2 对偶性7.1.3 外部划分树7.1.4 目录结构7.1.5 外部优先搜索树7.1.6 外部范围树7.2 移动对象索引要求7.2.1 时间索引结构的特殊性7.2.2 时空索引结构的设计准则7.2.3 已有时空存取方法综述7.3 索引当前以及近期未来移动7.3.1 一般性策略7.3.2 TPR树7.3.3 对偶数据转换方法7.3.4 基于多层划分树的时间无关索引7.3.5 动态B树7.3.6 动态外部范围树7.3.7 基于多版本动态B树的时间敏感索引7.3.8 基于多版本外部动态范围树的时间无关索引7.4 轨迹索引(索引移动历史)7.4.1 STR树7.4.2 TB树7.4.3 查询处理7.5 进一步练习7.6 参考文献注释第8章 展望8.1 数据获取8.2 测试数据生成8.3 网络中的移动8.4 连续查询和基于位置的查询的处理8.5 聚集操作与选择性估计部分练习答案参考文献引文列表索引关于作者