基本介紹
- 書名：資料庫數據組織無環性理論
- 作者：郝忠孝
- ISBN：9787030236562
- 頁數：299
- 出版社：科學出版社
- 出版時間：2009-03-01
- 裝幀：平裝
- 開本：16開
內容簡介,圖書目錄,前言,
內容簡介
《資料庫數據組織無環性理論》是在作者三十餘年來對關係資料庫數據組織理論研究的基礎上撰寫的。書中系統論述和分析了資料庫數據組織理論以及作者提出的若干新的概念、方法、算法。
《資料庫數據組織無環性理論》共分12章。主要內容包括：基於超圖、線圖的無α環、無β環、無γ環的特性。特別提出了作為《資料庫數據組織無環性理論》討論的核心概念——歸併依賴集。在深入研究這個概念的基礎上給出了歸併依賴集的最小歸併依賴集、蘊涵左部集、擴展左部集、全部對稱左部集等相關概念，對歸併依賴集的性質進行系統的研究。關聯度、關聯集是另一類重要概念。在深入討論中還給出了有、無內部衝突，左、右部衝突，弱左、右部衝突，廣義左、右部衝突，集間衝突，集內衝突，強左部衝突，強無衝突MVD集，最小廣義特徵集等概念。在此基礎上分別討論了在有、無內部衝突環境下的無α環、無β環、無γ環的資料庫模式分解。
《資料庫數據組織無環性理論》可作為計算機科學與技術學科、資料庫相關專業的高年級本科生教材或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員參考。
圖書目錄
前言
第1章 基本知識
1.1 關係模型和關係模式
1.1.1 函式依賴及相關理論概念
1.1.2 多值依賴及相關理論概念
1.2 候選關鍵字
1.2.1 候選關鍵字約束
1.2.2 求關係模式的一個候選關鍵字
1.2.3 求全部候選關鍵字一一替換法
1.3 邏輯蘊涵和覆蓋
1.3.1 邏輯蘊涵
1.3.2 覆蓋與等價
1.4 範式與規範化
1.5 聯接依賴的性質和判定問題
1.5.1 聯接依賴的概念
1.5.2 全生成元組器
1.5.3 聯接依賴的種類和聯接表
1.5.4 聯接依賴性質的判定
1.6 符號表和追蹤算法
1.6.1 符號表
1.6.2 追蹤算法
1.7 小結
第2章 資料庫模式環的種類與特性
2.1 無環資料庫的良好的特性
2.2 超圖和線圖
2.2.1 超圖及與超圖相關概念
2.2.2 無環的超圖和線圖的概念
2.2.3 無α環的判定——Graham算法
2.2.4 化簡一致超圖的性質
2.2.5 聯接樹順序表達式
2.2.6 FD超圖
2.3 超圖中各種環的定義及關係
2.3.1 超圖中各種環的定義
2.3.2 超圖中各種環的關係
2.4 超圖有α環的特性
2.5 超圖有β環的特性
2.6 超圖有γ環的特性
2.7 小結
第3章 函式依賴集F有內部衝突的判定
3.1 FD集F的歸併依賴集的相關概念
3.2 FD集F的歸併依賴集的求解算法
3.3 FD集F的最小歸併依賴集的求解算法
3.4 二元組集合閉包B+求解算法
3.5 函式依賴集F有內部衝突的判定
3.6 歸併FD超圖表示及構造
3.6.1 歸併準路與準環
3.6.2 超圖構造算法
3.7 歸併FD超圖存在內部衝突的條件和算法
3.7.1 歸併FD超圖存在內部衝突的條件
3.7.2 歸併FD超圖存在內部衝突的檢測算法
3.8 小結
第4章 無內部衝突環境下的無α環分解
4.1 歸併依賴集存在弱左、右部衝突判定
4.2 最小歸併依賴集的關聯度
4.3 無內部衝突滿足P3的無α環分解條件
4.4 無內部衝突滿足P3的無α環分解算法
4.5 冗餘屬性的確定
4.6 無內部衝突滿足PEK無α環分解
4.6.1 初等關鍵字範式的相關概念
4.6.2 滿足初等關鍵字範式的分解
4.6.3 滿足PEK無α環分解
4.7 無內部衝突滿足Ps的無α環分解
4.7.1 簡單範式及相關概念
4.7.2 滿足簡單範式的分解
4.7.3 滿足P3的無α環分解
4.8 小結
第5章 有內部衝突的廣義左、右部衝突的性質和判定
5.1 歸併依賴集的對稱左部屬性集
5.2 有內部衝突的廣義左、右部衝突的性質
5.2.1 有內部衝突的廣義左部衝突的性質
5.2.2 有內部衝突的廣義右部衝突的性質
5.3 有內部衝突的廣義左、右部衝突判定算法
5.4 小結
第6章 F有內部衝突滿足無α環分解
6.1 有內部衝突滿足P3的無α環分解條件
6.2 F有內部衝突滿足P3的無α環分解算法
6.3 小結
第7章 多值依賴環境下的無α環分解
7.1 滿足無損聯接和4NF的分解
7.1.1 保證無損聯接和4NF分解的有關定理
7.1.2 產生4NF分解的思想和算法
7.2 MVD集M無衝突的判定
7.2.1 無α環聯接依賴與無衝突多值依賴集的等價性
7.2.2 MVD集M衝突判定算法
7.3 混合依賴集環境下的資料庫模式無α環分解問題
7.3.1 混合依賴集D的生成多值依賴集
7.3.2 混合依賴集環境下的資料庫模式無α環分解
7.4 關係資料庫模式環境的判定和泛分解問題的討論
7.4.1 數據依賴環境的判定
7.4.2 關係資料庫模式的泛分解算法
7.5 小結
第8章 歸併依賴集左部集分析
8.1 歸併依賴集左部屬性集分析及求解算法
8.1.1 一個歸併依賴的擴展左部集求法
8.1.2 歸併依賴集的左部聯合集的求解算法
8.1.3 蘊涵左部集的求解
8.2 FD集F的歸併依賴集集間聯繫與衝突
8.2.1 歸併依賴集集間衝突
8.2.2 歸併依賴集集內衝突
8.2.3 歸併依賴集強左部衝突和幾個衝突的區別
8.3 小結
第9章 無內部衝突環境下的無β環分解
9.l 基於線圖的無β環判定
9.1.1 線圖是三角化的相關問題
9.1.2 線圖是β環判定算法
9.2 無內部衝突滿足P3的無犀環分解條件
9.2.1 無弱左部衝突、弱右部衝突D中任意兩個歸併依賴間的關係
9.2.2 無內部衝突滿足P3的無β環分解條件
9.3 F無內部衝突滿足P3的無β環分解算法
9.3.1 主歸併依賴衝突判定算法
9.3.2 無內部衝突滿足P3的無β環分解算法
9.4 無內部衝突滿足PBC-的無β環分解問題
9.5 有內部衝突滿足P3的無β環分解
9.5.1 環衝突及弱廣義、歸併廣義左部衝突的判定算法
9.5.2 有內部衝突的滿足P3無β環分解存在條件
9.5.3 有內部衝突的滿足P3無β環分解算法
9.6 小結
第10章 MVD無內部衝突環境下的無β環分解
10.1 MVD無衝突滿足無β環資料庫模式分解
10.1.1 無廖環且滿足P4-的分解條件
10.1.2 MVD集的化簡與等價
10.1.3 嚴格無衝突的算法
10.2 混合依賴環境下滿足P4-無β環資料庫模式研究
10.2.1 混合依賴集的表示及化簡
10.2.2 混合依賴環境下滿足P4-且無β環分解的條件
10.2.3 混合依賴環境下的分解算法
10.3 小結
第11章 無丫環無損聯接的4NF資料庫模式R分解
11.1 MVD環境下7環資料庫模式的存在性
11.2 基於強無衝突MVD集的資料庫模式的特性
11.2.1 基於Nα-Decomposition強無衝突MVD集分解特性
11.2.2 強無衝突MVD集資料庫模式分解線圖的特性
11.3 無γ環的資料庫模式的特性
11.3.1 無γ環的資料庫模式的線圖特性
11.3.2 無γ環的資料庫模式的聯接樹的特性
11.4 MVD環境下產生無γ環資料庫模式的條件
11.5 強無衝突的覆蓋存在性
11.5.1 化簡全依賴集的邏輯等價性
11.5.2 強無衝突的覆蓋存在的條件
11.6 無γ環無損聯接的4NF資料庫模式尺分解
11.6.1 無γ環模式判定
11.6.2 化簡全依賴集無衝突判定
11.6.3 強無衝突覆蓋的判定和滿足無γ環P4-分解算法
11.7 小結
第12章 最小廣義特徵集與無γ環分解的相關性
12.1 最小廣義特徵集
12.1.1 最小廣義特徵集和廣義特徵集的區別
12.1.2 無衝突MVD集M和FD集F蘊涵關係
12.2 最小廣義特徵集和MVD相交性理論
12.2.1 最小廣義特徵集和分割的關係
12.2.2 最小廣義特徵集和MVD相交性關係
12.3 無衝突的最小廣義特徵集
12.3.1 無衝突的最小廣義特徵集特性
12.3.2 無γ環的滿足BCNF的資料庫模式分解
12.4 最小覆蓋和最小廣義特徵集
12.4.1 最小覆蓋和相容性的關係
12.4.2 最小覆蓋和最小廣義特徵集的關係
12.5 滿足無γ環的BCNF資料庫模式的分解算法
12.5.1 歸併依賴集的可不分裂集生成算法
12.5.2 歸併依賴集D的相容集的相關算法
12.5.3 滿足無γ環的BCNF資料庫模式的相關算法
12.6 小結
參考文獻
前言
資料庫技術是在20世紀60年代末作為數據管理的最新技術登上數據處理舞台的。隨著計算機套用的不斷擴大，計算機硬體快速發展，資料庫技術也得到了迅速的發展。資料庫技術和計算機網路技術已成為當今世界計算機套用中兩個最重要的基礎領域。經過四十多年的發展，以數據模型的進展、變化為主線，出現了以層次模型和網狀模型為代表的層次資料庫和網狀資料庫的第一代資料庫。20世紀70年代末出現了以關係數據模型為代表的第二代資料庫——關係資料庫。
