移動(dòng)對(duì)象數(shù)據(jù)庫(kù)

前言
第1章 概述
1.1 數(shù)據(jù)庫(kù)管理系統(tǒng)
1.2 空間數(shù)據(jù)庫(kù)
1.2.1 空間概念建模
1.2.2 數(shù)據(jù)模型和查詢語言擴(kuò)展
1.2.3 實(shí)現(xiàn)策略
1.3 時(shí)態(tài)數(shù)據(jù)庫(kù)
1.3.1 傳統(tǒng)數(shù)據(jù)庫(kù)中的時(shí)態(tài)信息管理
1.3.2 時(shí)間域
1.3.3 時(shí)間維
1.3.4 數(shù)據(jù)模型擴(kuò)展
1.3.5 查詢語言擴(kuò)展：TSQL2
1.4 移動(dòng)對(duì)象
1.4.1 位置管理視角
1.4.2 時(shí)空數(shù)據(jù)視角
1.4.3 移動(dòng)對(duì)象以及相關(guān)的查詢問題
1.4.4 時(shí)空數(shù)據(jù)分類
1.4.5 支持空間數(shù)據(jù)類型的時(shí)態(tài)數(shù)據(jù)庫(kù)
1.4.6 時(shí)空數(shù)據(jù)類型
1.5 進(jìn)一步練習(xí)
1.6 參考文獻(xiàn)注釋
第2章 早期的時(shí)空數(shù)據(jù)庫(kù)
2.1 空間雙時(shí)態(tài)對(duì)象
2.1.1 一個(gè)應(yīng)用場(chǎng)景
2.1.2，雙時(shí)態(tài)元素
2.1.3 空間對(duì)象的單純復(fù)形建模
2.1.4 空間雙時(shí)態(tài)對(duì)象
2.1.5 空間雙時(shí)態(tài)操作
2.1.6 時(shí)空數(shù)據(jù)庫(kù)查詢
2.2 基于事件的方法
2.2.1 模型
2.2.2 查詢處理算法
2.3 進(jìn)一步練習(xí)
2.4 參考文獻(xiàn)注釋
第3章 當(dāng)前移動(dòng)的建模與查詢
3.1 位置管理
3.2 MOST——針對(duì)當(dāng)前和未來的移動(dòng)的數(shù)據(jù)模型
3.2.1 基本假設(shè)
3.2.2 動(dòng)態(tài)屬性
3.2.3 對(duì)象位置表示
3.2.4 數(shù)據(jù)庫(kù)歷史
3.2.5 3種查詢類型
3.3 FTL——基于未來時(shí)態(tài)邏輯的查詢語言
3.3.1 查詢例子
3.3.2 語法
3.3.3 語義
3.3.4 FTL查詢求解
3.4 位置更新——平衡更新代價(jià)和不精確性
3.4.1 背景
3.4.2 運(yùn)動(dòng)過程的信息代價(jià)
3.4.3 基于代價(jià)優(yōu)化的推測(cè)定位策略
3.4.4 推測(cè)定位位置更新策略
3.5 移動(dòng)對(duì)象軌跡的不確定性
3.5.1 軌跡模型
3.5.2 軌跡的不確定性概念
3.5.3 移動(dòng)對(duì)象的不確定性查詢
3.5.4 時(shí)空操作算法與時(shí)空謂詞算法
3.6 進(jìn)一步練習(xí)
3.7 參考文獻(xiàn)注釋
第4章 移動(dòng)歷史的建模與查詢
4.1 基于抽象數(shù)據(jù)類型的方法
4.1.1 類型和操作
4.1.2 抽象模型與離散模型
4.1.3 抽象數(shù)據(jù)類型的語言嵌入
4.2 抽象模型
4.2.1 數(shù)據(jù)類型
4.2.2 數(shù)據(jù)類型的形式化定義
4.2.3 操作概述
4.2.4 非時(shí)態(tài)類型上的操作
4.2.5 時(shí)態(tài)類型上的操作
4.2.6 對(duì)象集合上的操作
4.3 離散模型
4.3.1 概述
4.3.2 非時(shí)態(tài)類型
4.3.3 時(shí)態(tài)類型
4.4 時(shí)空謂詞及其演變
4.4.1 動(dòng)機(jī)
4.4.2 空間對(duì)象的拓?fù)渲^詞
4.4.3 拓?fù)渲^詞的時(shí)態(tài)提升問題
4.4.4 時(shí)態(tài)聚集
4.4.5 基本時(shí)空謂詞
4.4.6 演變：時(shí)態(tài)謂詞序列
4.4.1 演變的簡(jiǎn)明語法
4.4.8 時(shí)空謂詞代數(shù)
4.4.9 例子
4.4.10 時(shí)空謂詞的標(biāo)準(zhǔn)集合
4.4.11 STQL中的演變查詢
4.5 進(jìn)一步練習(xí)
4.6 參考文獻(xiàn)注釋
第5章 移動(dòng)對(duì)象類型的數(shù)據(jù)結(jié)構(gòu)和算法
5.1 數(shù)據(jù)結(jié)構(gòu)
5.1.1 一般性要求和策略
5.1.2 非時(shí)態(tài)數(shù)據(jù)類型
5.1.3 時(shí)態(tài)數(shù)據(jù)類型
5.2 時(shí)態(tài)數(shù)據(jù)類型上的操作算法
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 數(shù)值特性
5.3.5 距離和方向
5.3.6 布爾操作
5.4 進(jìn)一步練習(xí)
5.5 參考文獻(xiàn)注釋
第6章 約束數(shù)據(jù)庫(kù)方法
6.1 抽象模型：無限關(guān)系
6.1.1 平面關(guān)系
6.1.2 嵌套關(guān)系
6.1.3 結(jié)論
6.2 離散模型：約束關(guān)系
6.2.1 基于約束的空問模型
6.2.2 線性約束數(shù)據(jù)模型
6.2.3 約束關(guān)系上的關(guān)系代數(shù)
6.3 約束模型的實(shí)現(xiàn)
6.3.1 約束關(guān)系的表示
6.3.2 符號(hào)關(guān)系(約束公式)的表示
6.3.3 數(shù)據(jù)裝載和轉(zhuǎn)換
6.3.4 符號(hào)元組的規(guī)范化
6.3.5 代數(shù)操作的實(shí)現(xiàn)
6.4 進(jìn)一步練習(xí)
6.5 參考文獻(xiàn)注釋
第7章 時(shí)空索引
7.1 幾何學(xué)前提
7.1.1 基于R樹家族的多維空間索引
7.1.2 對(duì)偶性
7.1.3 外部劃分樹
7.1.4 目錄結(jié)構(gòu)
7.1.5 外部?jī)?yōu)先搜索樹
7.1.6 外部范圍樹
7.2 移動(dòng)對(duì)象索引要求
7.2.1 時(shí)間索引結(jié)構(gòu)的特殊性
7.2.2 時(shí)空索引結(jié)構(gòu)的設(shè)計(jì)準(zhǔn)則
7.2.3 已有時(shí)空存取方法綜述
7.3 索引當(dāng)前以及近期未來移動(dòng)
7.3.1 一般性策略
7.3.2 TPR樹
7.3.3 對(duì)偶數(shù)據(jù)轉(zhuǎn)換方法
7.3.4 基于多層劃分樹的時(shí)間無關(guān)索引
7.3.5 動(dòng)態(tài)B樹
7.3.6 動(dòng)態(tài)外部范圍樹
7.3.7 基于多版本動(dòng)態(tài)B樹的時(shí)間敏感索引
7.3.8 基于多版本外部動(dòng)態(tài)范圍樹的時(shí)間無關(guān)索引
7.4 軌跡索引(索引移動(dòng)歷史)
7.4.1 STR樹
7.4.2 TB樹
7.4.3 查詢處理
7.5 進(jìn)一步練習(xí)
7.6 參考文獻(xiàn)注釋
第8章 展望
8.1 數(shù)據(jù)獲取
8.2 測(cè)試數(shù)據(jù)生成
8.3 網(wǎng)絡(luò)中的移動(dòng)
8.4 連續(xù)查詢和基于位置的查詢的處理
8.5 聚集操作與選擇性估計(jì)
部分練習(xí)答案
參考文獻(xiàn)
引文列表
索引
關(guān)于作者