時態(tài)數(shù)據(jù)庫導(dǎo)論

第1章  緒論
  1.1  時態(tài)應(yīng)用的實際需求
  1.1.1  電子政務(wù)中的時態(tài)應(yīng)用
  1.1.2  工作流的時態(tài)應(yīng)用
  1.1.3  數(shù)據(jù)倉庫中的時態(tài)應(yīng)用
  1.2  時態(tài)數(shù)據(jù)庫的起源與發(fā)展
  1.2.1  開創(chuàng)與形成時期
  1.2.2  主理論與模型探索階段
  1.2.3  應(yīng)用與發(fā)展階段
  1.3  時太數(shù)據(jù)庫的研究現(xiàn)狀
  1.3.1  研究文獻(xiàn)分析
  1.3.2  主要時態(tài)數(shù)據(jù)模型
  1.3.3  研究與應(yīng)用現(xiàn)狀
  1.3.4  展望
第2章  時態(tài)基本元素模型
  2.1  時態(tài)信息模型
  2.1.1  時態(tài)信息
  2.1.2  時間模型
  2.2  時間基本元素單位
  2.2.1  時間點
  2.2.2  時間區(qū)間
  2.2.3  時間跨度
  2.2.4  時間集合
  2.3  時間粒度
  2.3.1  時間粒度與時間量子
  2.3.2  時態(tài)粒度存在形式
  2.3.3  時間粒度的運算
  2.3.4  時間粒度的轉(zhuǎn)換關(guān)系圖
  2.3.5  SQL中的時間粒度
  2.4  時態(tài)元素關(guān)系
  2.4.1  Allen的時態(tài)區(qū)間關(guān)系
  2.4.2  時態(tài)區(qū)間與時間點之間的時態(tài)關(guān)系
  2.4.3  時間點之間的時態(tài)關(guān)系
  2.5  兩特殊的時間元素
  2.5.1  時間元素Now
  2.5.2  時間元素UC
  2.6  小結(jié)
第3章  時態(tài)數(shù)據(jù)庫基本概念
  3.1  3種基本時間
  3.1.1  用戶自定義時間
  3.1.2  有效時間
  3.1.3  事務(wù)時間
  3.1.4  3種時間數(shù)據(jù)的應(yīng)用
  3.2  兩個時間維
  3.2.1  時間維描述
  3.2.2  兩個時間維的必要性
  3.2.3  支持兩個時間維的時態(tài)元素
  3.3  4種數(shù)據(jù)庫
  3.3.1  快照數(shù)據(jù)庫
  3.3.2  回滾數(shù)據(jù)庫
  3.3.3  歷史數(shù)據(jù)庫
  3.3.4  雙時態(tài)數(shù)據(jù)庫
  3.4  時態(tài)數(shù)據(jù)庫及雙時態(tài)表示
  3.4.1  什么是時態(tài)數(shù)據(jù)庫
  3.4.2  有效時間和事務(wù)時間的存儲優(yōu)化
  3.4.3  雙時態(tài)的表達(dá)方法
  3.4.4  時態(tài)平面圖的進(jìn)一步分析
  3.5  小結(jié)
第4章  時態(tài)關(guān)系代數(shù)
  4.1  傳統(tǒng)的關(guān)系操作
  4.1.1  相關(guān)定義
  4.1.2  關(guān)系代數(shù)
  4.1.3  關(guān)系元組的演算
  4.2  歷史數(shù)據(jù)庫的關(guān)系代數(shù)
  4.2.1  基本概念和術(shù)語
  4.2.2  HRDM數(shù)學(xué)模型
  4.2.3  歷史關(guān)系代數(shù)
  4.3  時態(tài)關(guān)系代數(shù)運算的形式化描述
  4.3.1  時態(tài)關(guān)系演算
  4.3.2  時態(tài)關(guān)系代數(shù)運算的形式化描述
  4.3.3  雙時態(tài)關(guān)系代數(shù)
  4.4  快照可約性與時態(tài)完備性
  4.4.1  快照可約性
  4.4.2  半時態(tài)完備性
  4.4.3  時態(tài)完備性
  4.5  小結(jié)
第5章  時態(tài)數(shù)據(jù)模型與查詢語言
  5.1  雙時態(tài)概念數(shù)據(jù)模型BCDM
  5.1.1  BCDM簡介
  5.1.2  BCDM時間域
  5.1.3  BCDM雙時態(tài)機制
  5.1.4  BCDM的儲存問題
  5.2  TempSQL模型及語言
  5.2.1  TempSQL模型
  5.2.2  TempSQL語言
  5.3  TQuel模型及語言
  5.3.1  TQuel語法的BNF定義
  5.3.2  TQuel的時態(tài)語義
  5.3.3  TQuel語言的查詢實例
  5.4  TSQL2語言
  5.4.1  雙時態(tài)狀態(tài)關(guān)系
  5.4.2  事件關(guān)系
  5.4.3  含有事務(wù)時間的查詢
  5.4.4  聚集函數(shù)與模式演化
  5.4.5  對TSQI。的不同觀點
  5.5  小結(jié)
第6章  時態(tài)數(shù)據(jù)索引技術(shù)
  6.1  時態(tài)索引技術(shù)基礎(chǔ)
  6.1.1  B-tree數(shù)據(jù)索引技術(shù)
  6.1.2  R-tree時態(tài)索引技術(shù)
  6.1.3  R-tree改進(jìn)策略
  6.1.4  R-tree技術(shù)
  6.2  G-tree時態(tài)索引技術(shù)
  6.2.1  GR-tree介紹
  6.2.2  GR-tree索引算法
  6.2.3  GR-tree的時間參數(shù)變化
  6.3  4R-tree時態(tài)索引技術(shù)
  6.3.1  數(shù)據(jù)變換
  6.3.2  查詢變換
  6.3.3  4R-tree操作
  6.4  小結(jié)
第7章  時態(tài)知識表達(dá)與邏輯方法
  7.1  幾種經(jīng)典的時態(tài)知識表達(dá)方法
  7.1.1  Allen方法
  7.1.2  McDermott方法
  7.1.3  時態(tài)操作符方法
  7.1.4  TANDT[。方法
  7.1.5  其他方法
  7.2  時態(tài)邏輯與模態(tài)邏輯
  7.2.1  模態(tài)邏輯
  7.2.2  時態(tài)邏輯
  7.2.3  線性時態(tài)邏輯
  7.2.4  分支時態(tài)邏輯
  7.2.5  分區(qū)時態(tài)邏輯
  7.3  時態(tài)邏輯斷言推理
  7.3.1  傳統(tǒng)斷言及其不足
  7.3.2  時態(tài)邏輯斷言
  7.3.3  時態(tài)邏輯語言應(yīng)用示例
  7.4  Petri網(wǎng)
  7.4.1  Petri網(wǎng)基本概念
  7.4.2  Petri網(wǎng)與時態(tài)邏輯
  7.5  面向?qū)ο蟮臅r態(tài)知識表達(dá)方法
  7.5.1  知識對象的結(jié)構(gòu)
  7.5.2  描述事實的時態(tài)知識
  7.5.3  描述時序關(guān)系的時態(tài)知識.
  7.5.4  面向?qū)ο髸r態(tài)知識表達(dá)舉例
  7.6  小結(jié)
第8章  時態(tài)數(shù)據(jù)庫管理系統(tǒng)TimeDB
  8.1  TimeDB基礎(chǔ)
  8.1.1  TimeDB與ATSQL2
  8.1.2  TimeDB的不同版本
  8.1.3  TimeDB 2.0Beta 41t寸態(tài)支持
  8.2  TimeDB 2.0 Beta 4使用
  8.2.1  軟件獲取與運行需求
  8。2.2  TimeDB安裝
  8.2.3  TimeDB 2.0 Beta 4用戶界面
  8.2.4  與商業(yè)DBMS的兼容性問題
  8.2.5  一個例子
  8.3  時態(tài)數(shù)據(jù)查詢
  8.3.1  向上兼容查詢
  8.3.2  時態(tài)向上兼容查詢
  8.3.3  順序查詢
  8.3.4  非順序查詢
  8.4  時態(tài)代數(shù)操作
  8.4.1  單時態(tài)代數(shù)操作符
  8.4.2  雙時態(tài)代數(shù)操作符
  8.4.3  時態(tài)合并
  8.5  TimeDBAPI與聚集函數(shù)
  8。5.1  TimeDB的API
  8.5.2  聚集函數(shù)
  8.6  數(shù)據(jù)完整性
  8.6.1  參照約束和外鍵約束
  8.6.2  檢查約束
  8.6.3  主鍵約束
  8.7  小結(jié)
第9章  時態(tài)數(shù)據(jù)庫應(yīng)用開發(fā)
  9.1  時態(tài)應(yīng)用開發(fā)模型
  9.1.1  時態(tài)應(yīng)用模式分類
  9.1.2  時態(tài)信息模型
  9.1.3  時態(tài)數(shù)據(jù)視圖
  9.1.4  時態(tài)知識與數(shù)據(jù)的鏈接
  9.2  一個典型的時態(tài)應(yīng)用實例：SIDSS
  9.2.1  SIDSS系統(tǒng)框架
  9.2.2  工資系統(tǒng)的時態(tài)數(shù)據(jù)
  9.2.3  工資系統(tǒng)的時態(tài)知識
  9.3  工資的時態(tài)數(shù)據(jù)模型
  9.3.1  時態(tài)工資數(shù)據(jù)結(jié)構(gòu)
  9.3.2  時態(tài)實體關(guān)系模型
  9.3.3  NTER模型應(yīng)用
  9.4  工資政策時態(tài)知識模型
  9.4.1  結(jié)構(gòu)化時態(tài)知識的描述
  9.4.2  非結(jié)構(gòu)化時態(tài)知識的描述
  9.4.3  時態(tài)知識的可視化管理
  9.5  時態(tài)事件處理與協(xié)同機制
  9.5.1  事件形式化表達(dá)
  9.5.2  事件處理器
  9.5.3  系統(tǒng)的協(xié)同機制
  9.6  小結(jié)
附錄
  附錄A  ATSQL2語法
  附錄B  TimeDB 2.0 Beta 4 API
參考文