數據庫設計與關係理論（簡體書）

前言/1
第一部分 設置環境
第1章 篇首語/7
1.1 從文獻摘錄的一些引用/8
1.2 關于術語的說明/9
1.3 正在運行的示例/11
1.4 鍵/12
1.5 設計理論的地位/13
1.6 本書的目的/16
1.7 結束語/17
習題/18
第2章 預備知識/20
2.1 概覽/20
2.2 關系及關系變量/21
2.3 謂詞和命題/23
2.4 更多的供應商和零件/26
習題/28
第二部分 函數依賴、BOYCE/CODD范式及相關事宜
第3章 規范化：一些通則/33
3.1 規范化用于兩個目的/35
3.2 更新異常/38
3.3 范式層次結構/38
3.4 規范化和約束/40
3.5 結束語/41
習題/42
第4章 函數依賴和BCNF（非正式的）/44
4.1 第一范式/44
4.2 函數依賴/48
4.3 鍵的重新審視/49
4.4 第二范式/51
4.5 第三范式/53
4.6 Boyce/Codd范式/53
習題/55
第5章 函數依賴和BCNF（正式的）/58
5.1 初步定義/58
5.2 函數依賴/60
5.3 Boyce/Codd范式/61
5.4 希思定理/64
習題/67
第6章 保持函數依賴/68
6.1 遺憾的沖突/70
6.2 第二個例子/72
6.3 第三個例子/74
6.4 第四個例子/75
6.5 一個能夠工作的過程/77
6.6 恒等分解/81
6.7 關于沖突的更多內容/82
6.8 獨立投影/83
習題/84
第7章 FD公理化/85
7.1 阿姆斯特朗公理/85
7.2 附加規則/87
7.3 證明附加規則/89
7.4 另一種閉包/89
習題/91
第8章 反規范化/93
8.1“反規范化是為了性能”嗎/93
8.2 反規范化是什么意思/94
8.3 什么不是反規范化（I）/96
8.4 什么不是反規范化（II）/98
8.5 反規范化是有害的（I）/100
8.6 反規范化是有害的（II）/102
8.7 結束語/103
習題/103
第三部分 連接依賴、第五范式及其他相關事項
第9章 連接依賴及5NF（非正式的）/107
9.1 連接依賴的基本思路/108
9.2 一個屬于BCNF但不屬于5NF的關系變量/111
9.3 循環規則/114
9.4 結束語/115
習題/116
第10章 連接依賴及5NF（正式的）/117
10.1 連接依賴/117
10.2 第五范式/119
10.3 被鍵蘊含的JD/121
10.4 一個有用的定理/124
10.5 FD不是JD/125
10.6 更新異常再探/125
習題/127
第11章 隱式依賴關系/128
11.1 無關的分量/128
11.2 結合分量/129
11.3 不可約的JD/130
11.4 小結 /133
11.5 追逐算法/135
11.6 結束語/139
習題/139
第12章 多值依賴和4NF/141
12.1 一個介紹性的例子/141
12.2 多值依賴（非正式的）/143
12.3 多值依賴（正式的）/144
12.4 第四范式/145
12.5 公理化/147
12.6 嵌入式依賴/148
習題/149
第13章 額外的范式/151
13.1 相等依賴/152
13.2 第六范式/153
13.3 超鍵范式/156
13.4 無冗余范式/157
13.5 域－鍵范式/163
13.6 結束語/164
習題/166
第四部分 正交
第14章 正交設計原則/171
14.1 規范化的兩個歡呼聲/171
14.2 一個啟發性的例子/173
14.3 一個更簡單的例子/174
14.4 元組與命題/177
14.5 第一個例子再探/181
14.6 第二個例子再探/183
14.7 最終版本/183
14.8 澄清/184
14.9 結束語/185
習題/186
第五部分 冗余
第15章 我們需要更多的科學/189
15.1 一點歷史/191
15.2 數據庫設計是謂詞設計/193
15.3 例1/194
15.4 例2/195
15.5 例3/196
15.6 例4/196
15.7 例5/197
15.8 例6/197
15.9 例7/200
15.10 例8/202
15.11 例9/202
15.12 例10/204
15.13 例11/204
15.14 例12/205
15.15 管理冗余/206
15.16 改善定義/208
15.17 結束語/215
習題/216
第六部分 附錄
附錄A 主鍵是良好的，但不是必需的/219
附錄B 冗余回顧/232
附錄C 重要論文回顧/237
附錄D 習題答案/241