注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)計算機/網(wǎng)絡(luò)數(shù)據(jù)庫數(shù)據(jù)庫理論時態(tài)數(shù)據(jù)庫導(dǎo)論

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

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

定 價:¥36.00

作 者: 湯庸編著
出版社: 北京大學(xué)出版社
叢編項:
標(biāo) 簽: 暫缺

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第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  研究文獻分析
  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)平面圖的進一步分析
  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改進策略
  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
參考文

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號