數(shù)據(jù)庫設(shè)計(jì)與關(guān)系理論

前言
第一部分 設(shè)置環(huán)境
第1章 篇首語
1.1 從文獻(xiàn)摘錄的一些引用
1.2 關(guān)于術(shù)語的說明
1.3 正在運(yùn)行的示例
1.4 鍵
1.5 設(shè)計(jì)理論的地位
1.6 本書的目的
1.7 結(jié)束語
習(xí)題
第2章 預(yù)備知識
2.1 概覽
2.2 關(guān)系及關(guān)系變量
2.3 謂詞和命題
2.4 更多的供應(yīng)商和零件
習(xí)題

第二部分 函數(shù)依賴、BOYCE/CODD范式及相關(guān)事宜
第3章 規(guī)范化：一些通則
3.1 規(guī)范化用于兩個(gè)目的
3.2 更新異常
3.3 范式層次結(jié)構(gòu)
3.4 規(guī)范化和約束
3.5 結(jié)束語
習(xí)題
第4章 函數(shù)依賴和BCNF（非正式的）
4.1 第一范式
4.2 函數(shù)依賴
4.3 鍵的重新審視
4.4 第二范式
4.5 第三范式
4.6 Boyce/Codd范式
習(xí)題
第5章 函數(shù)依賴和BCNF（正式的）
5.1 初步定義
5.2 函數(shù)依賴
5.3 Boyce/Codd范式
5.4 希思定理
習(xí)題
第6章 保持函數(shù)依賴
6.1 遺憾的沖突
6.2 第二個(gè)例子
6.3 第三個(gè)例子
6.4 第四個(gè)例子
6.5 一個(gè)能夠工作的過程
6.6 恒等分解
6.7 關(guān)于沖突的更多內(nèi)容
6.8 獨(dú)立投影
習(xí)題
第7章 FD公理化
7.1 阿姆斯特朗公理
7.2 附加規(guī)則
7.3 證明附加規(guī)則
7.4 另一種閉包
習(xí)題
第8章 反規(guī)范化
8.1“反規(guī)范化是為了性能”嗎
8.2 反規(guī)范化是什么意思
8.3 什么不是反規(guī)范化（I）
8.4 什么不是反規(guī)范化（II）
8.5 反規(guī)范化是有害的（I）
8.6 反規(guī)范化是有害的（II）
8.7 結(jié)束語
習(xí)題

第三部分 連接依賴、第五范式及其他相關(guān)事項(xiàng)
第9章 連接依賴及5NF（非正式的）
9.1 連接依賴的基本思路
9.2 一個(gè)屬于BCNF但不屬于5NF的關(guān)系變量
9.3 循環(huán)規(guī)則
9.4 結(jié)束語
習(xí)題
第10章 連接依賴及5NF（正式的）
10.1 連接依賴
10.2 第五范式
10.3 被鍵蘊(yùn)含的JD
10.4 一個(gè)有用的定理
10.5 FD不是JD
10.6 更新異常再探
習(xí)題
第11章 隱式依賴關(guān)系
11.1 無關(guān)的分量
11.2 結(jié)合分量
11.3 不可約的JD
11.4 小結(jié)
11.5 追逐算法
11.6 結(jié)束語
習(xí)題
第12章 多值依賴和4NF
12.1 一個(gè)介紹性的例子
12.2 多值依賴（非正式的）
12.3 多值依賴（正式的）
12.4 第四范式
12.5 公理化
12.6 嵌入式依賴
習(xí)題
第13章 額外的范式
13.1 相等依賴
13.2 第六范式
13.3 超鍵范式
13.4 無冗余范式
13.5 域－鍵范式
13.6 結(jié)束語
習(xí)題

第四部分 正交
第14章 正交設(shè)計(jì)原則
14.1 規(guī)范化的兩個(gè)歡呼聲
14.2 一個(gè)啟發(fā)性的例子
14.3 一個(gè)更簡單的例子
14.4 元組與命題
14.5 第一個(gè)例子再探
14.6 第二個(gè)例子再探
14.7 最終版本
14.8 澄清
14.9 結(jié)束語
習(xí)題

第五部分 冗余
第15章 我們需要更多的科學(xué)
15.1 一點(diǎn)歷史
15.2 數(shù)據(jù)庫設(shè)計(jì)是謂詞設(shè)計(jì)
15.3 例1
15.4 例2
15.5 例3
15.6 例4
15.7 例5
15.8 例6
15.9 例7
15.10 例8
15.11 例9
15.12 例10
15.13 例11
15.14 例12
15.15 管理冗余
15.16 改善定義
15.17 結(jié)束語
習(xí)題

第六部分 附錄
附錄A 主鍵是良好的，但不是必需的
附錄B 冗余回顧
附錄C 重要論文回顧
附錄D 習(xí)題答案