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

第1章  緒論
  1.1  時態(tài)應用的實際需求
  1.1.1  電子政務中的時態(tài)應用
  1.1.2  工作流的時態(tài)應用
  1.1.3  數(shù)據(jù)倉庫中的時態(tài)應用
  1.2  時態(tài)數(shù)據(jù)庫的起源與發(fā)展
  1.2.1  開創(chuàng)與形成時期
  1.2.2  主理論與模型探索階段
  1.2.3  應用與發(fā)展階段
  1.3  時太數(shù)據(jù)庫的研究現(xiàn)狀
  1.3.1  研究文獻分析
  1.3.2  主要時態(tài)數(shù)據(jù)模型
  1.3.3  研究與應用現(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  時間粒度的轉換關系圖
  2.3.5  SQL中的時間粒度
  2.4  時態(tài)元素關系
  2.4.1  Allen的時態(tài)區(qū)間關系
  2.4.2  時態(tài)區(qū)間與時間點之間的時態(tài)關系
  2.4.3  時間點之間的時態(tài)關系
  2.5  兩特殊的時間元素
  2.5.1  時間元素Now
  2.5.2  時間元素UC
  2.6  小結
第3章  時態(tài)數(shù)據(jù)庫基本概念
  3.1  3種基本時間
  3.1.1  用戶自定義時間
  3.1.2  有效時間
  3.1.3  事務時間
  3.1.4  3種時間數(shù)據(jù)的應用
  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  有效時間和事務時間的存儲優(yōu)化
  3.4.3  雙時態(tài)的表達方法
  3.4.4  時態(tài)平面圖的進一步分析
  3.5  小結
第4章  時態(tài)關系代數(shù)
  4.1  傳統(tǒng)的關系操作
  4.1.1  相關定義
  4.1.2  關系代數(shù)
  4.1.3  關系元組的演算
  4.2  歷史數(shù)據(jù)庫的關系代數(shù)
  4.2.1  基本概念和術語
  4.2.2  HRDM數(shù)學模型
  4.2.3  歷史關系代數(shù)
  4.3  時態(tài)關系代數(shù)運算的形式化描述
  4.3.1  時態(tài)關系演算
  4.3.2  時態(tài)關系代數(shù)運算的形式化描述
  4.3.3  雙時態(tài)關系代數(shù)
  4.4  快照可約性與時態(tài)完備性
  4.4.1  快照可約性
  4.4.2  半時態(tài)完備性
  4.4.3  時態(tài)完備性
  4.5  小結
第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)關系
  5.4.2  事件關系
  5.4.3  含有事務時間的查詢
  5.4.4  聚集函數(shù)與模式演化
  5.4.5  對TSQI。的不同觀點
  5.5  小結
第6章  時態(tài)數(shù)據(jù)索引技術
  6.1  時態(tài)索引技術基礎
  6.1.1  B-tree數(shù)據(jù)索引技術
  6.1.2  R-tree時態(tài)索引技術
  6.1.3  R-tree改進策略
  6.1.4  R-tree技術
  6.2  G-tree時態(tài)索引技術
  6.2.1  GR-tree介紹
  6.2.2  GR-tree索引算法
  6.2.3  GR-tree的時間參數(shù)變化
  6.3  4R-tree時態(tài)索引技術
  6.3.1  數(shù)據(jù)變換
  6.3.2  查詢變換
  6.3.3  4R-tree操作
  6.4  小結
第7章  時態(tài)知識表達與邏輯方法
  7.1  幾種經典的時態(tài)知識表達方法
  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)邏輯語言應用示例
  7.4  Petri網
  7.4.1  Petri網基本概念
  7.4.2  Petri網與時態(tài)邏輯
  7.5  面向對象的時態(tài)知識表達方法
  7.5.1  知識對象的結構
  7.5.2  描述事實的時態(tài)知識
  7.5.3  描述時序關系的時態(tài)知識.
  7.5.4  面向對象時態(tài)知識表達舉例
  7.6  小結
第8章  時態(tài)數(shù)據(jù)庫管理系統(tǒng)TimeDB
  8.1  TimeDB基礎
  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  小結
第9章  時態(tài)數(shù)據(jù)庫應用開發(fā)
  9.1  時態(tài)應用開發(fā)模型
  9.1.1  時態(tài)應用模式分類
  9.1.2  時態(tài)信息模型
  9.1.3  時態(tài)數(shù)據(jù)視圖
  9.1.4  時態(tài)知識與數(shù)據(jù)的鏈接
  9.2  一個典型的時態(tài)應用實例：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ù)結構
  9.3.2  時態(tài)實體關系模型
  9.3.3  NTER模型應用
  9.4  工資政策時態(tài)知識模型
  9.4.1  結構化時態(tài)知識的描述
  9.4.2  非結構化時態(tài)知識的描述
  9.4.3  時態(tài)知識的可視化管理
  9.5  時態(tài)事件處理與協(xié)同機制
  9.5.1  事件形式化表達
  9.5.2  事件處理器
  9.5.3  系統(tǒng)的協(xié)同機制
  9.6  小結
附錄
  附錄A  ATSQL2語法
  附錄B  TimeDB 2.0 Beta 4 API
參考文