第1章 做好準備 7
1.1 關係模型被嚴重地誤解瞭 7
1.2 關於術語的一些說明 8
1.3 原理而非産品 10
1.4 原始模型迴顧 11
1.5 模型vs.實現 18
1.6 關係的性質 21
1.7 基關係vs.導齣關係 24
1.8 關係vs.關係變量 26
1.9 值vs.變量 28
1.10 小結 28
1.11 練習題 29
第2章 類型和域 31
2.1 類型和關係 31
2.2 相等性比較 32
2.3 數據值原子性 37
2.4 類型是什麼 40
2.5 標量類型vs.非標量類型 43
2.6 SQL中的標量類型 45
2.7 SQL中的類型檢查和型轉 47
2.8 SQL中的字符序 48
2.9 SQL中的行類型和錶類型 50
2.10 小結 52
2.11 練習題 52
第3章 元組、關係、行、錶 55
3.1 元組是什麼 55
3.2 SQL中的行 59
3.3 關係是什麼 61
3.4 關係及其主體 63
3.5 關係是n維的 64
3.6 關係比較 64
3.7 TABLE_DUM和TABLE_DEE 65
3.8 SQL中的錶 66
3.9 SQL中的列命名 68
3.10 小結 70
3.11 練習題 70
第4章 不要重復，不要null 72
4.1 重復有什麼問題 72
4.2 重復：深入討論 76
4.3 在SQL中避免重復 77
4.4 null有什麼毛病 79
4.5 在SQL中避免null 82
4.6 對外連接的說明 84
4.7 小結 84
4.8 練習題 85
第5章 基關係變量和基錶 90
5.1 更新是集閤級彆的 91
5.2 關係賦值 93
5.3 關於候選鍵的更多內容 97
5.4 關於外鍵的更多內容 99
5.5 關係變量和謂詞 102
5.6 關係 vs. 類型 104
5.7 練習題 106
第6章 SQL和關係代數I：原始運算符 109
6.1 一些預備知識 109
6.2 關於閉包的更多內容 112
6.3 限製 114
6.4 投影 115
6.5 連接 116
6.6 並、交和差 120
6.7 哪些運算符是基本運算符 123
6.8 逐步形成錶達式 123
6.9 關係錶達式到底錶示什麼 125
6.10 計算SQL錶錶達式 126
6.11 錶達式變換 127
6.12 屬性名依賴 130
6.13 練習題 132
第7章 SQL和關係代數II：附加運算符 135
7.1 排他並 135
7.2 半連接和半差 136
7.3 擴展 137
7.4 映像關係 139
7.5 除 142
7.6 聚集運算符 143
7.7 再議映像關係 148
7.8 匯總 149
7.9 再議匯總 154
7.10 分組、去分組和關係值屬性 155
7.11“WHAT IF”查詢 160
7.12 對於遞歸的說明 162
7.13 ORDER BY是怎麼迴事 166
7.13 練習題 167
第8章 SQL與約束 171
8.1 類型約束 172
8.2 SQL中的類型約束 175
8.3 數據庫約束 176
8.4 SQL中的數據庫約束 180
8.5 事務 182
8.6 數據庫約束為什麼必須立即檢查 183
8.7 不是有些檢查必須延遲進行嗎 185
8.8 約束與謂詞 187
8.9 各種問題 189
8.10 練習題 191
第9章 SQL與視圖 194
9.1 視圖是關係變量 195
9.2 視圖和謂詞 198
9.3 檢索運算 199
9.4 視圖和約束 200
9.5 更新運算 204
9.6 視圖的作用 212
9.7 視圖和快照 213
9.8 練習題 214
第10章 SQL與邏輯 217
10.1 為什麼需要邏輯 218
10.2 簡單命題和復閤命題 219
10.3 簡單謂詞和復閤謂詞 224
10.4 量詞化 226
10.5 關係演算 229
10.6 關於量詞化的更多內容 236
10.7 一些等價關係 243
10.8 小結 246
10.9 練習題 246
第11章 使用邏輯錶述SQL錶達式 249
11.1 一些變換法則 249
11.2 例1：邏輯蘊涵 252
11.3 例2：全稱量詞化 252
11.4 例3：蘊涵和全稱量詞化 254
11.5 例4：相關子查詢 255
11.6 例5：命名子錶達式 257
11.7 例6：關於命名子錶達式的更多內容 260
11.8 例7：處理模糊性 261
11.9 例8：使用COUNT 263
11.10 例9：連接查詢 263
11.11 例10：唯一量詞化 264
11.12 例11：ALL或ANY比較 266
11.13 例12：GROUP BY和HAVING 270
11.14 練習題 271
第12章 關於SQL的其他主題 273
12.1 SELECT * 273
12.2 顯式錶 274
12.3 名稱限定 274
12.4 區間變元 275
12.5 子查詢 277
12.6 “可能非確定性”錶達式 280
12.7 空集閤 281
12.8 簡化的BNF語法 281
12.9 練習題 284
附錄A 關係模型 287
附錄B SQL背離關係模型之處 307
附錄C 處理信息丟失的關係方法 309
附錄D Tutorial D語法 322
附錄E 本書建議匯總 325
附錄F 練習答案 328
附錄G 深入閱讀建議 407
· · · · · · (收起)