內容簡介
時態資料庫設計理論《時態資料庫設計理論》是在作者三十餘年來對資料庫理論研究的基礎上撰寫的。書中系統論述和分析了時態資料庫數據組織理論和基於時態ER（實體一聯繫）模型的概念設計研究成果以及作者提出的若干新的概念、方法、算法。《時態資料庫設計理論》共分七章。主要內容包括：時態資料庫設計研究的概況、時態模組模式與時態模組、時態函式依賴和集細於關係、時態類型和它的封閉集處理、TFD的推導規則、時態類型處理中的細於關係矩陣、時態類型集的封閉集及其公共最大下界、有限導出時態類型集、glb操作的實現算法。通過計算一個時態類型集的封閉集以及它的細於關係矩陣可以在計算機上實現對時態類型的相關處理。討論了基於全序、偏序TFD集的時態模式規範化，基於TMVD的時態模式的規範化，強全序時態模式中多值依賴問題，基於時態ER模型的時態資料庫設計。
《時態資料庫設計理論》可作為計算機科學與技術、資料庫及相關專業的高年級本科生教材或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員參考。
作者簡介
郝忠孝，教授，山東蓬萊人，1940年12月生，中共黨員，曾任原東北重型機械學院副校長，齊齊哈爾大學副校長，哈爾濱理工大學校學術委員會主席。現任哈爾濱理工大學博士生導師、哈爾濱工業大學博士生導師（兼）。原機械電子工業部有突出貢獻專家、享受國務院政府特殊津貼、全國優秀教師、省共享人才專家、省級學科帶頭人、省計算機學會副理事長。 主要研究領域：①空值資料庫理論。在國內、外首次提出了空值資料庫數據模型，完成一系列相關研究，形成了比較完整的理論體系，完成了國內、外第一部該方面的論著《空值環境下資料庫導論》。②資料庫NP-完全問題的求解問題。首次基本解決了求全部候選關鍵字、主屬性、基數為M的候選關鍵字、最小候選關鍵字等問題，完成了《關係資料庫數據理論新進展》一書。③資料庫數據組織的無環性理論研究。首次給出了歸併依賴集、關聯度等概念。並在此基礎上對無a環、無口環、無y環的分解條件與規範化理論研究方面有了突破性進展，著有《資料庫數據組織無環性理論》。④時態資料庫理論研究。系統提出並完成了時態資料庫中基於全序、偏序、多粒度環境下的各種時態理論問題研究，完成了《時態資料庫設計理論》的論著。⑤主動資料庫理論研究。完成了國內、外第一部該方面的論著《主動資料庫系統理論基礎》。⑥空間、時空資料庫理論研究。 完成了國家、省部級項目10項；獲省部級科技進步獎一、二、三等獎5項。發表學術論文200餘篇，其中，國家一級論文130餘篇、在《計算機研究與發展》上發表個人學術論文專輯兩部，被SCl、EI等檢索80餘篇。1991年發表學術論文數居中國科技界第五位(並列)。著書五部。
編輯推薦
《時態資料庫設計理論》是由科學出版社出版的。
目錄
前言
第1章 時態資料庫設計研究的概況
1.1 時態資料庫設計研究概況
1.2 時態ER模型的研究概況
1.3 時態資料庫的類型和查詢語言概述
1.3.1 時態資料庫元素的類型
1.3.2 時態查詢語言
1.4 本章 小結
第2章 時態類型和它的封閉集處理
2.1 時態類型和時態函式依賴
2.1.1 時態類型
2.1.2 時態模組
2.1.3 時態函式依賴和集細於關係
2.1.4 TFD的推導規則
2.1.5 時態類型處理
2.2 封閉時態類型集
2.2.1 封閉集與公共最大下界
2.2.2 封閉集算法
2.3 本章 小結
第3章 基於全序TFD集的時態模式規範化
3.1 全序TFD集特性和成員籍
3.1.1 全序時態類型集的TFD集的邏輯蘊涵
3.1.2 求全序時態類型TFD集成員籍的算法
3.1.3 求時態候選關鍵字算法
3.1.4 屬性集的有限閉包
3.2 TFD集的化簡
3.3 時態TFD集F規範化的基本概念
3.4 T3NF分解
3.4.1 T3NF分解算法
3.4.2 套用實例
3.5 時態初等關鍵字範式和簡單範式
3.5.1 時態初等關鍵字範式分解
3.5.2 時態簡單範式分解
3.6 本章 小結
第4章 基於偏序TFD集的時態模式的規範化
4.1 TFD集成員籍算法
4.1.1 基於有限決定集的成員籍算法
4.1.2 基於屬性集的有限閉包的成員籍算法
4.1.3 基於有限導出吋態類型集的成員籍算法
4.1.4 三種算法的比較
4.2 基於偏序TFD集的吋態模式的弱時態第三範式
4.2.1 弱時態第三範式的定義
4.2.2 WT3NF分解算法
4.3 WT3NF分解算法的有效性與實用性
4.3.1 WT3NF分解算法的有效性
4.3.2 WT3NF分解算法的實用性
4.4 套用實例
4.5 基於偏序TFD集的時態模式的時態BC範式
4.5.1 偏序時態BC範式
4.5.2 偏序時態BC範式分解算法
4.6 本章 小結
第5章 基於TMVD的時態模式的規範化
5.1 時態多值依賴的推導規則
5.1.1 多值依賴的概念
5.1.2 MVD集M的依賴基
5.1.3 時態多值依賴的概念
5.1.4 時態多值依賴的推導規則
5.2 TFD和TMVD的相互作用
5.3 成員籍問題
5.3.1 時態類型集的強封閉集
5.3.2 屬性集的有限閉包、有限依賴基和特殊有限依賴基
5.4 有限依賴基和特殊有限依賴基的基本定理、求解算法
5.5 TFD和TMVD邏輯蘊涵的判定
5.6 時態模式的時態T4NF範式分解算法
5.7 本章 小結....
