數(shù)據(jù)庫數(shù)據(jù)組織無環(huán)性理論

前言
第1章 基本知識
1.1 關(guān)系模型和關(guān)系模式
1.1.1 函數(shù)依賴及相關(guān)理論概念
1.1.2 多值依賴及相關(guān)理論概念
1.2 候選關(guān)鍵字
1.2.1 候選關(guān)鍵字約束
1.2.2 求關(guān)系模式的一個(gè)候選關(guān)鍵字
1.2.3 求全部候選關(guān)鍵字一一替換法
1.3 邏輯蘊(yùn)涵和覆蓋
1.3.1 邏輯蘊(yùn)涵
1.3.2 覆蓋與等價(jià)
1.4 范式與規(guī)范化
1.5 聯(lián)接依賴的性質(zhì)和判定問題
1.5.1 聯(lián)接依賴的概念
1.5.2 全生成元組器
1.5.3 聯(lián)接依賴的種類和聯(lián)接表
1.5.4 聯(lián)接依賴性質(zhì)的判定
1.6 符號表和追蹤算法
1.6.1 符號表
1.6.2 追蹤算法
1.7 小結(jié)
第2章 數(shù)據(jù)庫模式環(huán)的種類與特性
2.1 無環(huán)數(shù)據(jù)庫的良好的特性
2.2 超圖和線圖
2.2.1 超圖及與超圖相關(guān)概念
2.2.2 無環(huán)的超圖和線圖的概念
2.2.3 無α環(huán)的判定——Graham算法
2.2.4 化簡一致超圖的性質(zhì)
2.2.5 聯(lián)接樹順序表達(dá)式
2.2.6 FD超圖
2.3 超圖中各種環(huán)的定義及關(guān)系
2.3.1 超圖中各種環(huán)的定義
2.3.2 超圖中各種環(huán)的關(guān)系
2.4 超圖有α環(huán)的特性
2.5 超圖有β環(huán)的特性
2.6 超圖有γ環(huán)的特性
2.7 小結(jié)
第3章 函數(shù)依賴集F有內(nèi)部沖突的判定
3.1 FD集F的歸并依賴集的相關(guān)概念
3.2 FD集F的歸并依賴集的求解算法
3.3 FD集F的最小歸并依賴集的求解算法
3.4 二元組集合閉包B+求解算法
3.5 函數(shù)依賴集F有內(nèi)部沖突的判定
3.6 歸并FD超圖表示及構(gòu)造
3.6.1 歸并準(zhǔn)路與準(zhǔn)環(huán)
3.6.2 超圖構(gòu)造算法
3.7 歸并FD超圖存在內(nèi)部沖突的條件和算法
3.7.1 歸并FD超圖存在內(nèi)部沖突的條件
3.7.2 歸并FD超圖存在內(nèi)部沖突的檢測算法
3.8 小結(jié)
第4章 無內(nèi)部沖突環(huán)境下的無α環(huán)分解
4.1 歸并依賴集存在弱左、右部沖突判定
4.2 最小歸并依賴集的關(guān)聯(lián)度
4.3 無內(nèi)部沖突滿足P3的無α環(huán)分解條件
4.4 無內(nèi)部沖突滿足P3的無α環(huán)分解算法
4.5 冗余屬性的確定
4.6 無內(nèi)部沖突滿足PEK無α環(huán)分解
4.6.1 初等關(guān)鍵字范式的相關(guān)概念
4.6.2 滿足初等關(guān)鍵字范式的分解
4.6.3 滿足PEK無α環(huán)分解
4.7 無內(nèi)部沖突滿足Ps的無α環(huán)分解
4.7.1 簡單范式及相關(guān)概念
4.7.2 滿足簡單范式的分解
4.7.3 滿足P3的無α環(huán)分解
4.8 小結(jié)
第5章 有內(nèi)部沖突的廣義左、右部沖突的性質(zhì)和判定
5.1 歸并依賴集的對稱左部屬性集
5.2 有內(nèi)部沖突的廣義左、右部沖突的性質(zhì)
5.2.1 有內(nèi)部沖突的廣義左部沖突的性質(zhì)
5.2.2 有內(nèi)部沖突的廣義右部沖突的性質(zhì)
5.3 有內(nèi)部沖突的廣義左、右部沖突判定算法
5.4 小結(jié)
第6章 F有內(nèi)部沖突滿足無α環(huán)分解
6.1 有內(nèi)部沖突滿足P3的無α環(huán)分解條件
6.2 F有內(nèi)部沖突滿足P3的無α環(huán)分解算法
6.3 小結(jié)
第7章 多值依賴環(huán)境下的無α環(huán)分解
7.1 滿足無損聯(lián)接和4NF的分解
7.1.1 保證無損聯(lián)接和4NF分解的有關(guān)定理
7.1.2 產(chǎn)生4NF分解的思想和算法
7.2 MVD集M無沖突的判定
7.2.1 無α環(huán)聯(lián)接依賴與無沖突多值依賴集的等價(jià)性
7.2.2 MVD集M沖突判定算法
7.3 混合依賴集環(huán)境下的數(shù)據(jù)庫模式無α環(huán)分解問題
7.3.1 混合依賴集D的生成多值依賴集
7.3.2 混合依賴集環(huán)境下的數(shù)據(jù)庫模式無α環(huán)分解
7.4 關(guān)系數(shù)據(jù)庫模式環(huán)境的判定和泛分解問題的討論
7.4.1 數(shù)據(jù)依賴環(huán)境的判定
7.4.2 關(guān)系數(shù)據(jù)庫模式的泛分解算法
7.5 小結(jié)
第8章 歸并依賴集左部集分析
8.1 歸并依賴集左部屬性集分析及求解算法
8.1.1 一個(gè)歸并依賴的擴(kuò)展左部集求法
8.1.2 歸并依賴集的左部聯(lián)合集的求解算法
8.1.3 蘊(yùn)涵左部集的求解
8.2 FD集F的歸并依賴集集間聯(lián)系與沖突
8.2.1 歸并依賴集集間沖突
8.2.2 歸并依賴集集內(nèi)沖突
8.2.3 歸并依賴集強(qiáng)左部沖突和幾個(gè)沖突的區(qū)別
8.3 小結(jié)
第9章 無內(nèi)部沖突環(huán)境下的無β環(huán)分解
9.l 基于線圖的無β環(huán)判定
9.1.1 線圖是三角化的相關(guān)問題
9.1.2 線圖是β環(huán)判定算法
9.2 無內(nèi)部沖突滿足P3的無犀環(huán)分解條件
9.2.1 無弱左部沖突、弱右部沖突D中任意兩個(gè)歸并依賴間的關(guān)系
9.2.2 無內(nèi)部沖突滿足P3的無β環(huán)分解條件
9.3 F無內(nèi)部沖突滿足P3的無β環(huán)分解算法
9.3.1 主歸并依賴沖突判定算法
9.3.2 無內(nèi)部沖突滿足P3的無β環(huán)分解算法
9.4 無內(nèi)部沖突滿足PBC-的無β環(huán)分解問題
9.5 有內(nèi)部沖突滿足P3的無β環(huán)分解
9.5.1 環(huán)沖突及弱廣義、歸并廣義左部沖突的判定算法
9.5.2 有內(nèi)部沖突的滿足P3無β環(huán)分解存在條件
9.5.3 有內(nèi)部沖突的滿足P3無β環(huán)分解算法
9.6 小結(jié)
第10章 MVD無內(nèi)部沖突環(huán)境下的無β環(huán)分解
10.1 MVD無沖突滿足無β環(huán)數(shù)據(jù)庫模式分解
10.1.1 無廖環(huán)且滿足P4-的分解條件
10.1.2 MVD集的化簡與等價(jià)
10.1.3 嚴(yán)格無沖突的算法
10.2 混合依賴環(huán)境下滿足P4-無β環(huán)數(shù)據(jù)庫模式研究
10.2.1 混合依賴集的表示及化簡
10.2.2 混合依賴環(huán)境下滿足P4-且無β環(huán)分解的條件
10.2.3 混合依賴環(huán)境下的分解算法
10.3 小結(jié)
第11章 無丫環(huán)無損聯(lián)接的4NF數(shù)據(jù)庫模式R分解
11.1 MVD環(huán)境下7環(huán)數(shù)據(jù)庫模式的存在性
11.2 基于強(qiáng)無沖突MVD集的數(shù)據(jù)庫模式的特性
11.2.1 基于Nα-Decomposition強(qiáng)無沖突MVD集分解特性
11.2.2 強(qiáng)無沖突MVD集數(shù)據(jù)庫模式分解線圖的特性
11.3 無γ環(huán)的數(shù)據(jù)庫模式的特性
11.3.1 無γ環(huán)的數(shù)據(jù)庫模式的線圖特性
11.3.2 無γ環(huán)的數(shù)據(jù)庫模式的聯(lián)接樹的特性
11.4 MVD環(huán)境下產(chǎn)生無γ環(huán)數(shù)據(jù)庫模式的條件
11.5 強(qiáng)無沖突的覆蓋存在性
11.5.1 化簡全依賴集的邏輯等價(jià)性
11.5.2 強(qiáng)無沖突的覆蓋存在的條件
11.6 無γ環(huán)無損聯(lián)接的4NF數(shù)據(jù)庫模式尺分解
11.6.1 無γ環(huán)模式判定
11.6.2 化簡全依賴集無沖突判定
11.6.3 強(qiáng)無沖突覆蓋的判定和滿足無γ環(huán)P4-分解算法
11.7 小結(jié)
第12章 最小廣義特征集與無γ環(huán)分解的相關(guān)性
12.1 最小廣義特征集
12.1.1 最小廣義特征集和廣義特征集的區(qū)別
12.1.2 無沖突MVD集M和FD集F蘊(yùn)涵關(guān)系
12.2 最小廣義特征集和MVD相交性理論
12.2.1 最小廣義特征集和分割的關(guān)系
12.2.2 最小廣義特征集和MVD相交性關(guān)系
12.3 無沖突的最小廣義特征集
12.3.1 無沖突的最小廣義特征集特性
12.3.2 無γ環(huán)的滿足BCNF的數(shù)據(jù)庫模式分解
12.4 最小覆蓋和最小廣義特征集
12.4.1 最小覆蓋和相容性的關(guān)系
12.4.2 最小覆蓋和最小廣義特征集的關(guān)系
12.5 滿足無γ環(huán)的BCNF數(shù)據(jù)庫模式的分解算法
12.5.1 歸并依賴集的可不分裂集生成算法
12.5.2 歸并依賴集D的相容集的相關(guān)算法
12.5.3 滿足無γ環(huán)的BCNF數(shù)據(jù)庫模式的相關(guān)算法
12.6 小結(jié)
參考文獻(xiàn)