數(shù)據(jù)庫設計與關系理論

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

第二部分 函數(shù)依賴、BOYCE/CODD范式及相關事宜
第3章 規(guī)范化：一些通則
3.1 規(guī)范化用于兩個目的
3.2 更新異常
3.3 范式層次結構
3.4 規(guī)范化和約束
3.5 結束語
習題
第4章 函數(shù)依賴和BCNF（非正式的）
4.1 第一范式
4.2 函數(shù)依賴
4.3 鍵的重新審視
4.4 第二范式
4.5 第三范式
4.6 Boyce/Codd范式
習題
第5章 函數(shù)依賴和BCNF（正式的）
5.1 初步定義
5.2 函數(shù)依賴
5.3 Boyce/Codd范式
5.4 希思定理
習題
第6章 保持函數(shù)依賴
6.1 遺憾的沖突
6.2 第二個例子
6.3 第三個例子
6.4 第四個例子
6.5 一個能夠工作的過程
6.6 恒等分解
6.7 關于沖突的更多內容
6.8 獨立投影
習題
第7章 FD公理化
7.1 阿姆斯特朗公理
7.2 附加規(guī)則
7.3 證明附加規(guī)則
7.4 另一種閉包
習題
第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 結束語
習題

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

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

第五部分 冗余
第15章 我們需要更多的科學
15.1 一點歷史
15.2 數(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 結束語
習題

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