時態(tài)數(shù)據(jù)庫設(shè)計理論

定　價：￥40.00

作　者：	郝忠孝著
出版社：	科學出版社
叢編項：
標　簽：	數(shù)據(jù)庫理論

購買這本書可以去

ISBN：	9787030247049	出版時間：	2009-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	178	字數(shù)：

內(nèi)容簡介

　　《時態(tài)數(shù)據(jù)庫設(shè)計理論》是在作者三十余年來對數(shù)據(jù)庫理論研究的基礎(chǔ)上撰寫的。書中系統(tǒng)論述和分析了時態(tài)數(shù)據(jù)庫數(shù)據(jù)組織理論和基于時態(tài)ER（實體一聯(lián)系）模型的概念設(shè)計研究成果以及作者提出的若干新的概念、方法、算法?！稌r態(tài)數(shù)據(jù)庫設(shè)計理論》共分七章。主要內(nèi)容包括：時態(tài)數(shù)據(jù)庫設(shè)計研究的概況、時態(tài)模塊模式與時態(tài)模塊、時態(tài)函數(shù)依賴和集細于關(guān)系、時態(tài)類型和它的封閉集處理、TFD的推導規(guī)則、時態(tài)類型處理中的細于關(guān)系矩陣、時態(tài)類型集的封閉集及其公共最大下界、有限導出時態(tài)類型集、glb操作的實現(xiàn)算法。通過計算一個時態(tài)類型集的封閉集以及它的細于關(guān)系矩陣可以在計算機上實現(xiàn)對時態(tài)類型的相關(guān)處理。討論了基于全序、偏序TFD集的時態(tài)模式規(guī)范化，基于TMVD的時態(tài)模式的規(guī)范化，強全序時態(tài)模式中多值依賴問題，基于時態(tài)ER模型的時態(tài)數(shù)據(jù)庫設(shè)計?！稌r態(tài)數(shù)據(jù)庫設(shè)計理論》可作為計算機科學與技術(shù)、數(shù)據(jù)庫及相關(guān)專業(yè)的高年級本科生教材或碩士生選修課教材，也可供從事上述領(lǐng)域研究的博士生、科研人員及工程技術(shù)人員參考。

作者簡介

　　郝忠孝，教授，山東蓬萊人，1940年12月生，中共黨員，曾任原東北重型機械學院副校長，齊齊哈爾大學副校長，哈爾濱理工大學校學術(shù)委員會主席?，F(xiàn)任哈爾濱理工大學博士生導師、哈爾濱工業(yè)大學博士生導師（兼）。原機械電子工業(yè)部有突出貢獻專家、享受國務(wù)院政府特殊津貼、全國優(yōu)秀教師、省共享人才專家、省級學科帶頭人、省計算機學會副理事長。主要研究領(lǐng)域：①空值數(shù)據(jù)庫理論。在國內(nèi)、外首次提出了空值數(shù)據(jù)庫數(shù)據(jù)模型，完成一系列相關(guān)研究，形成了比較完整的理論體系，完成了國內(nèi)、外第一部該方面的論著《空值環(huán)境下數(shù)據(jù)庫導論》。②數(shù)據(jù)庫NP-完全問題的求解問題。首次基本解決了求全部候選關(guān)鍵字、主屬性、基數(shù)為M的候選關(guān)鍵字、最小候選關(guān)鍵字等問題，完成了《關(guān)系數(shù)據(jù)庫數(shù)據(jù)理論新進展》一書。③數(shù)據(jù)庫數(shù)據(jù)組織的無環(huán)性理論研究。首次給出了歸并依賴集、關(guān)聯(lián)度等概念。并在此基礎(chǔ)上對無a環(huán)、無口環(huán)、無y環(huán)的分解條件與規(guī)范化理論研究方面有了突破性進展，著有《數(shù)據(jù)庫數(shù)據(jù)組織無環(huán)性理論》。④時態(tài)數(shù)據(jù)庫理論研究。系統(tǒng)提出并完成了時態(tài)數(shù)據(jù)庫中基于全序、偏序、多粒度環(huán)境下的各種時態(tài)理論問題研究，完成了《時態(tài)數(shù)據(jù)庫設(shè)計理論》的論著。⑤主動數(shù)據(jù)庫理論研究。完成了國內(nèi)、外第一部該方面的論著《主動數(shù)據(jù)庫系統(tǒng)理論基礎(chǔ)》。⑥空間、時空數(shù)據(jù)庫理論研究。完成了國家、省部級項目10項；獲省部級科技進步獎一、二、三等獎5項。發(fā)表學術(shù)論文200余篇，其中，國家一級論文130余篇、在《計算機研究與發(fā)展》上發(fā)表個人學術(shù)論文專輯兩部，被SCl、EI等檢索80余篇。1991年發(fā)表學術(shù)論文數(shù)居中國科技界第五位（并列）。著書五部。

圖書目錄

前言
第1章時態(tài)數(shù)據(jù)庫設(shè)計研究的概況
1.1 時態(tài)數(shù)據(jù)庫設(shè)計研究概況
1.2 時態(tài)ER模型的研究概況
1.3 時態(tài)數(shù)據(jù)庫的類型和查詢語言概述
1.3.1 時態(tài)數(shù)據(jù)庫元素的類型
1.3.2 時態(tài)查詢語言
1.4 本章小結(jié)
第2章時態(tài)類型和它的封閉集處理
2.1 時態(tài)類型和時態(tài)函數(shù)依賴
2.1.1 時態(tài)類型
2.1.2 時態(tài)模塊
2.1.3 時態(tài)函數(shù)依賴和集細于關(guān)系
2.1.4 TFD的推導規(guī)則
2.1.5 時態(tài)類型處理
2.2 封閉時態(tài)類型集
2.2.1 封閉集與公共最大下界
2.2.2 封閉集算法
2.3 本章小結(jié)
第3章基于全序TFD集的時態(tài)模式規(guī)范化
3.1 全序TFD集特性和成員籍
3.1.1 全序時態(tài)類型集的TFD集的邏輯蘊涵
3.1.2 求全序時態(tài)類型TFD集成員籍的算法
3.1.3 求時態(tài)候選關(guān)鍵字算法
3.1.4 屬性集的有限閉包
3.2 TFD集的化簡
3.3 時態(tài)TFD集F規(guī)范化的基本概念
3.4 T3NF分解
3.4.1 T3NF分解算法
3.4.2 應用實例
3.5 時態(tài)初等關(guān)鍵字范式和簡單范式
3.5.1 時態(tài)初等關(guān)鍵字范式分解
3.5.2 時態(tài)簡單范式分解
3.6 本章小結(jié)
第4章基于偏序TFD集的時態(tài)模式的規(guī)范化
4.1 TFD集成員籍算法
4.1.1 基于有限決定集的成員籍算法
4.1.2 基于屬性集的有限閉包的成員籍算法
4.1.3 基于有限導出吋態(tài)類型集的成員籍算法
4.1.4 三種算法的比較
4.2 基于偏序TFD集的吋態(tài)模式的弱時態(tài)第三范式
4.2.1 弱時態(tài)第三范式的定義
4.2.2 WT3NF分解算法
4.3 WT3NF分解算法的有效性與實用性
4.3.1 WT3NF分解算法的有效性
4.3.2 WT3NF分解算法的實用性
4.4 應用實例
4.5 基于偏序TFD集的時態(tài)模式的時態(tài)BC范式
4.5.1 偏序時態(tài)BC范式
4.5.2 偏序時態(tài)BC范式分解算法
4.6 本章小結(jié)
第5章基于TMVD的時態(tài)模式的規(guī)范化
5.1 時態(tài)多值依賴的推導規(guī)則
5.1.1 多值依賴的概念
5.1.2 MVD集M的依賴基
5.1.3 時態(tài)多值依賴的概念
5.1.4 時態(tài)多值依賴的推導規(guī)則
5.2 TFD和TMVD的相互作用
5.3 成員籍問題
5.3.1 時態(tài)類型集的強封閉集
5.3.2 屬性集的有限閉包、有限依賴基和特殊有限依賴基
5.4 有限依賴基和特殊有限依賴基的基本定理、求解算法
5.5 TFD和TMVD邏輯蘊涵的判定
5.6 時態(tài)模式的時態(tài)T4NF范式分解算法
5.7 本章小結(jié)
第6章強全序時態(tài)模式中多值依賴問題
6.1 規(guī)則時態(tài)多值依賴
6.1.1 規(guī)則時態(tài)多值依賴
6.1.2 強全序RTMⅧ推導規(guī)則
6.2 RTMVD與強全序時態(tài)模塊模式無損分解
6.3 強全序吋態(tài)模式中混合依賴集成員籍
6.3.1 強全序模式混合依賴基算法
6.3.2 強全序模式混合閉包算法
6.3.3 強全序時態(tài)模式中成員籍問題
6.4 強全序時態(tài)混合依賴覆蓋
6.5 本章小結(jié)
第7章基于時態(tài)ER模型的時態(tài)數(shù)據(jù)庫設(shè)計
7.1 TEERM模型的結(jié)構(gòu)
7.1.1 實體類型
7.1.2 屬性
7.1.3 聯(lián)系類型
7.1.4 指派實體類型的TIK
7.2 規(guī)范TFD約束
7.2.1 規(guī)范TFD約束的結(jié)構(gòu)
7.2.2 規(guī)范T四的規(guī)則
7.3 向時態(tài)模塊模式投影
7.3.1 幾個操作
7.3.2 投影算法
7.3.3 簡單分析
7.4 基于TEERM模型的數(shù)據(jù)庫設(shè)計
7.4.1 支持傳統(tǒng)應用
7.4.2 基于TEERM的數(shù)據(jù)庫設(shè)計方法學
7.4.3 應用實例
7.5 本章小結(jié)
參考文獻