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

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