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

前言
第1章 基本知識(shí)
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ì)和判定問(wèn)題
1.5.1 聯(lián)接依賴的概念
1.5.2 全生成元組器
1.5.3 聯(lián)接依賴的種類(lèi)和聯(lián)接表
1.5.4 聯(lián)接依賴性質(zhì)的判定
1.6 符號(hào)表和追蹤算法
1.6.1 符號(hào)表
1.6.2 追蹤算法
1.7 小結(jié)
第2章 數(shù)據(jù)庫(kù)模式環(huán)的種類(lèi)與特性
2.1 無(wú)環(huán)數(shù)據(jù)庫(kù)的良好的特性
2.2 超圖和線圖
2.2.1 超圖及與超圖相關(guān)概念
2.2.2 無(wú)環(huán)的超圖和線圖的概念
2.2.3 無(wú)α環(huán)的判定——Graham算法
2.2.4 化簡(jiǎn)一致超圖的性質(zhì)
2.2.5 聯(lián)接樹(shù)順序表達(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)部沖突的檢測(cè)算法
3.8 小結(jié)
第4章 無(wú)內(nèi)部沖突環(huán)境下的無(wú)α環(huán)分解
4.1 歸并依賴集存在弱左、右部沖突判定
4.2 最小歸并依賴集的關(guān)聯(lián)度
4.3 無(wú)內(nèi)部沖突滿足P3的無(wú)α環(huán)分解條件
4.4 無(wú)內(nèi)部沖突滿足P3的無(wú)α環(huán)分解算法
4.5 冗余屬性的確定
4.6 無(wú)內(nèi)部沖突滿足PEK無(wú)α環(huán)分解
4.6.1 初等關(guān)鍵字范式的相關(guān)概念
4.6.2 滿足初等關(guān)鍵字范式的分解
4.6.3 滿足PEK無(wú)α環(huán)分解
4.7 無(wú)內(nèi)部沖突滿足Ps的無(wú)α環(huán)分解
4.7.1 簡(jiǎn)單范式及相關(guān)概念
4.7.2 滿足簡(jiǎn)單范式的分解
4.7.3 滿足P3的無(wú)α環(huán)分解
4.8 小結(jié)
第5章 有內(nèi)部沖突的廣義左、右部沖突的性質(zhì)和判定
5.1 歸并依賴集的對(duì)稱(chēng)左部屬性集
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)部沖突滿足無(wú)α環(huán)分解
6.1 有內(nèi)部沖突滿足P3的無(wú)α環(huán)分解條件
6.2 F有內(nèi)部沖突滿足P3的無(wú)α環(huán)分解算法
6.3 小結(jié)
第7章 多值依賴環(huán)境下的無(wú)α環(huán)分解
7.1 滿足無(wú)損聯(lián)接和4NF的分解
7.1.1 保證無(wú)損聯(lián)接和4NF分解的有關(guān)定理
7.1.2 產(chǎn)生4NF分解的思想和算法
7.2 MVD集M無(wú)沖突的判定
7.2.1 無(wú)α環(huán)聯(lián)接依賴與無(wú)沖突多值依賴集的等價(jià)性
7.2.2 MVD集M沖突判定算法
7.3 混合依賴集環(huán)境下的數(shù)據(jù)庫(kù)模式無(wú)α環(huán)分解問(wèn)題
7.3.1 混合依賴集D的生成多值依賴集
7.3.2 混合依賴集環(huán)境下的數(shù)據(jù)庫(kù)模式無(wú)α環(huán)分解
7.4 關(guān)系數(shù)據(jù)庫(kù)模式環(huán)境的判定和泛分解問(wèn)題的討論
7.4.1 數(shù)據(jù)依賴環(huán)境的判定
7.4.2 關(guān)系數(shù)據(jù)庫(kù)模式的泛分解算法
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章 無(wú)內(nèi)部沖突環(huán)境下的無(wú)β環(huán)分解
9.l 基于線圖的無(wú)β環(huán)判定
9.1.1 線圖是三角化的相關(guān)問(wèn)題
9.1.2 線圖是β環(huán)判定算法
9.2 無(wú)內(nèi)部沖突滿足P3的無(wú)犀環(huán)分解條件
9.2.1 無(wú)弱左部沖突、弱右部沖突D中任意兩個(gè)歸并依賴間的關(guān)系
9.2.2 無(wú)內(nèi)部沖突滿足P3的無(wú)β環(huán)分解條件
9.3 F無(wú)內(nèi)部沖突滿足P3的無(wú)β環(huán)分解算法
9.3.1 主歸并依賴沖突判定算法
9.3.2 無(wú)內(nèi)部沖突滿足P3的無(wú)β環(huán)分解算法
9.4 無(wú)內(nèi)部沖突滿足PBC-的無(wú)β環(huán)分解問(wèn)題
9.5 有內(nèi)部沖突滿足P3的無(wú)β環(huán)分解
9.5.1 環(huán)沖突及弱廣義、歸并廣義左部沖突的判定算法
9.5.2 有內(nèi)部沖突的滿足P3無(wú)β環(huán)分解存在條件
9.5.3 有內(nèi)部沖突的滿足P3無(wú)β環(huán)分解算法
9.6 小結(jié)
第10章 MVD無(wú)內(nèi)部沖突環(huán)境下的無(wú)β環(huán)分解
10.1 MVD無(wú)沖突滿足無(wú)β環(huán)數(shù)據(jù)庫(kù)模式分解
10.1.1 無(wú)廖環(huán)且滿足P4-的分解條件
10.1.2 MVD集的化簡(jiǎn)與等價(jià)
10.1.3 嚴(yán)格無(wú)沖突的算法
10.2 混合依賴環(huán)境下滿足P4-無(wú)β環(huán)數(shù)據(jù)庫(kù)模式研究
10.2.1 混合依賴集的表示及化簡(jiǎn)
10.2.2 混合依賴環(huán)境下滿足P4-且無(wú)β環(huán)分解的條件
10.2.3 混合依賴環(huán)境下的分解算法
10.3 小結(jié)
第11章 無(wú)丫環(huán)無(wú)損聯(lián)接的4NF數(shù)據(jù)庫(kù)模式R分解
11.1 MVD環(huán)境下7環(huán)數(shù)據(jù)庫(kù)模式的存在性
11.2 基于強(qiáng)無(wú)沖突MVD集的數(shù)據(jù)庫(kù)模式的特性
11.2.1 基于Nα-Decomposition強(qiáng)無(wú)沖突MVD集分解特性
11.2.2 強(qiáng)無(wú)沖突MVD集數(shù)據(jù)庫(kù)模式分解線圖的特性
11.3 無(wú)γ環(huán)的數(shù)據(jù)庫(kù)模式的特性
11.3.1 無(wú)γ環(huán)的數(shù)據(jù)庫(kù)模式的線圖特性
11.3.2 無(wú)γ環(huán)的數(shù)據(jù)庫(kù)模式的聯(lián)接樹(shù)的特性
11.4 MVD環(huán)境下產(chǎn)生無(wú)γ環(huán)數(shù)據(jù)庫(kù)模式的條件
11.5 強(qiáng)無(wú)沖突的覆蓋存在性
11.5.1 化簡(jiǎn)全依賴集的邏輯等價(jià)性
11.5.2 強(qiáng)無(wú)沖突的覆蓋存在的條件
11.6 無(wú)γ環(huán)無(wú)損聯(lián)接的4NF數(shù)據(jù)庫(kù)模式尺分解
11.6.1 無(wú)γ環(huán)模式判定
11.6.2 化簡(jiǎn)全依賴集無(wú)沖突判定
11.6.3 強(qiáng)無(wú)沖突覆蓋的判定和滿足無(wú)γ環(huán)P4-分解算法
11.7 小結(jié)
第12章 最小廣義特征集與無(wú)γ環(huán)分解的相關(guān)性
12.1 最小廣義特征集
12.1.1 最小廣義特征集和廣義特征集的區(qū)別
12.1.2 無(wú)沖突MVD集M和FD集F蘊(yùn)涵關(guān)系
12.2 最小廣義特征集和MVD相交性理論
12.2.1 最小廣義特征集和分割的關(guān)系
12.2.2 最小廣義特征集和MVD相交性關(guān)系
12.3 無(wú)沖突的最小廣義特征集
12.3.1 無(wú)沖突的最小廣義特征集特性
12.3.2 無(wú)γ環(huán)的滿足BCNF的數(shù)據(jù)庫(kù)模式分解
12.4 最小覆蓋和最小廣義特征集
12.4.1 最小覆蓋和相容性的關(guān)系
12.4.2 最小覆蓋和最小廣義特征集的關(guān)系
12.5 滿足無(wú)γ環(huán)的BCNF數(shù)據(jù)庫(kù)模式的分解算法
12.5.1 歸并依賴集的可不分裂集生成算法
12.5.2 歸并依賴集D的相容集的相關(guān)算法
12.5.3 滿足無(wú)γ環(huán)的BCNF數(shù)據(jù)庫(kù)模式的相關(guān)算法
12.6 小結(jié)
參考文獻(xiàn)