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

定　價：￥36.00

作　者：	湯庸編著
出版社：	北京大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787301076187	出版時間：	2004-07-01	包裝：	膠版紙
開本：	23cm	頁數(shù)：	266	字數(shù)：

內(nèi)容簡介

　　時間是自然界無所不在的客觀屬性，隨著數(shù)據(jù)庫技術的深入發(fā)展，時態(tài)信息處理已成為電子政務、電子商務、數(shù)據(jù)倉庫等新一代數(shù)據(jù)庫與信息系統(tǒng)的關鍵技術。經(jīng)過20多年的研究和實踐，時態(tài)數(shù)據(jù)庫技術已發(fā)展成一門獨特的數(shù)據(jù)庫學科。本書系統(tǒng)介紹時態(tài)數(shù)據(jù)庫的基本概念、基礎理論、主要技術及軟件開發(fā)平臺。主要內(nèi)容包括時間基本元素模型、時態(tài)數(shù)據(jù)庫基本概念、時態(tài)關系代數(shù)、時態(tài)數(shù)據(jù)模型與查詢語言、時態(tài)數(shù)據(jù)索引技術、時態(tài)知識表達與邏輯方法、時態(tài)數(shù)據(jù)庫管理系統(tǒng)TimeDB，最后介紹一個典型時態(tài)應用實例。本書是國內(nèi)首部時態(tài)數(shù)據(jù)庫專門著作，對相關人員有獨特的參考意義．它為時態(tài)數(shù)據(jù)庫相關理論研究提供一個整體概念。為相關應用開發(fā)提供一些新的方法和思路。本書可作為計算機及相關專業(yè)研究生和高年級本科生教材．也可供相關研究開發(fā)人員參考。

作者簡介

　　湯庸，獲武漢大學學士、碩士學位和中國科技大學博士學位?，F(xiàn)任中山大信息學院副院長，計算機科學系主任、協(xié)同軟件中心主任，教授、博士生導師。目前是中國計算機學會體系結構專委委員，青年科技論壇廣州主席，曾多次組織或主持大型學術活動，多次擔任省部級科技獎勵評審專家、高級職稱評委委員，曾先后10次到美國、法國、巴西等國家學術交流和合作。主持承擔了國家自然科學基金，重點攻關項目和廣東自然基金、重大科技專項及橫向合作項目20項，科研總經(jīng)費已超過1000萬元。

圖書目錄

第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  幾種經(jīng)典的時態(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網(wǎng)
  7.4.1  Petri網(wǎng)基本概念
  7.4.2  Petri網(wǎng)與時態(tài)邏輯
  7.5  面向?qū)ο蟮臅r態(tài)知識表達方法
  7.5.1  知識對象的結構
  7.5.2  描述事實的時態(tài)知識
  7.5.3  描述時序關系的時態(tài)知識.
  7.5.4  面向?qū)ο髸r態(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
參考文