SQL與關(guān)系數(shù)據(jù)庫理論·如何編寫健壯的SQL代碼（原書第2版）

第1章 做好準備
1.1 關(guān)系模型被嚴重地誤解了
1.2 關(guān)于術(shù)語的一些說明
1.3 原理而非產(chǎn)品
1.4 原始模型回顧
1.5 模型vs.實現(xiàn)
1.6 關(guān)系的性質(zhì)
1.7 基關(guān)系vs.導出關(guān)系
1.8 關(guān)系vs.關(guān)系變量
1.9 值vs.變量
1.10 小結(jié)
1.11 練習題
第2章 類型和域
2.1 類型和關(guān)系
2.2 相等性比較
2.3 數(shù)據(jù)值原子性
2.4 類型是什么
2.5 標量類型vs.非標量類型
2.6 SQL中的標量類型
2.7 SQL中的類型檢查和型轉(zhuǎn)
2.8 SQL中的字符序
2.9 SQL中的行類型和表類型
2.10 小結(jié)
2.11 練習題
第3章 元組、關(guān)系、行、表
3.1 元組是什么
3.2 SQL中的行
3.3 關(guān)系是什么
3.4 關(guān)系及其主體
3.5 關(guān)系是n維的
3.6 關(guān)系比較
3.7 TABLE_DUM和TABLE_DEE
3.8 SQL中的表
3.9 SQL中的列命名
3.10 小結(jié)
3.11 練習題
第4章 不要重復，不要null
4.1 重復有什么問題
4.2 重復：深入討論
4.3 在SQL中避免重復
4.4 null有什么毛病
4.5 在SQL中避免null
4.6 對外連接的說明
4.7 小結(jié)
4.8 練習題
第5章 基關(guān)系變量和基表
5.1 更新是集合級別的
5.2 關(guān)系賦值
5.3 關(guān)于候選鍵的更多內(nèi)容
5.4 關(guān)于外鍵的更多內(nèi)容
5.5 關(guān)系變量和謂詞
5.6 關(guān)系 vs. 類型
5.7 練習題
第6章 SQL和關(guān)系代數(shù)I：原始運算符
6.1 一些預備知識
6.2 關(guān)于閉包的更多內(nèi)容
6.3 限制
6.4 投影
6.5 連接
6.6 并、交和差
6.7 哪些運算符是基本運算符
6.8 逐步形成表達式
6.9 關(guān)系表達式到底表示什么
6.10 計算SQL表表達式
6.11 表達式變換
6.12 屬性名依賴
6.13 練習題
第7章 SQL和關(guān)系代數(shù)II：附加運算符
7.1 排他并
7.2 半連接和半差
7.3 擴展
7.4 映像關(guān)系
7.5 除
7.6 聚集運算符
7.7 再議映像關(guān)系
7.8 匯總
7.9 再議匯總
7.10 分組、去分組和關(guān)系值屬性
7.11"WHAT IF"查詢
7.12 對于遞歸的說明
7.13 ORDER BY是怎么回事
7.13 練習題
第8章 SQL與約束
8.1 類型約束
8.2 SQL中的類型約束
8.3 數(shù)據(jù)庫約束
8.4 SQL中的數(shù)據(jù)庫約束
8.5 事務
8.6 數(shù)據(jù)庫約束為什么必須立即檢查
8.7 不是有些檢查必須延遲進行嗎
8.8 約束與謂詞
8.9 各種問題
8.10 練習題
第9章 SQL與視圖
9.1 視圖是關(guān)系變量
9.2 視圖和謂詞
9.3 檢索運算
9.4 視圖和約束
9.5 更新運算
9.6 視圖的作用
9.7 視圖和快照
9.8 練習題
第10章 SQL與邏輯
10.1 為什么需要邏輯
10.2 簡單命題和復合命題
10.3 簡單謂詞和復合謂詞
10.4 量詞化
10.5 關(guān)系演算
10.6 關(guān)于量詞化的更多內(nèi)容
10.7 一些等價關(guān)系
10.8 小結(jié)
10.9 練習題
第11章 使用邏輯表述SQL表達式
11.1 一些變換法則
11.2 例1：邏輯蘊涵
11.3 例2：全稱量詞化
11.4 例3：蘊涵和全稱量詞化
11.5 例4：相關(guān)子查詢
11.6 例5：命名子表達式
11.7 例6：關(guān)于命名子表達式的更多內(nèi)容
11.8 例7：處理模糊性
11.9 例8：使用COUNT
11.10 例9：連接查詢
11.11 例10：唯一量詞化
11.12 例11：ALL或ANY比較
11.13 例12：GROUP BY和HAVING
11.14 練習題
第12章 關(guān)于SQL的其他主題
12.1 SELECT *
12.2 顯式表
12.3 名稱限定
12.4 區(qū)間變元
12.5 子查詢
12.6 "可能非確定性"表達式
12.7 空集合
12.8 簡化的BNF語法
12.9 練習題
附錄A 關(guān)系模型
附錄B SQL背離關(guān)系模型之處
附錄C 處理信息丟失的關(guān)系方法
附錄D Tutorial D語法
附錄E 本書建議匯總
附錄F 練習答案
附錄G 深入閱讀建議