SQL與關(guān)系數(shù)據(jù)庫理論（第三版）

第一版前言.1
第二版前言.6
第三版前言.8
第1章 做好準備.9
1.1 對于關(guān)系模型的嚴重誤解10
1.2 有關(guān)術(shù)語的一些說明11
1.3 原理而非產(chǎn)品.13
1.4 原始模型回顧.14
1.4.1 結(jié)構(gòu)特征14
1.4.2 完整性特征 17
1.4.3 操作特征 .18
1.4.4 示例 .20
1.5 模型與實現(xiàn)22
1.6 關(guān)系的性質(zhì)26
1.7 基關(guān)系與導出關(guān)系30
1.8 關(guān)系與關(guān)系變量32
1.9 值與變量.34
1.10 小結(jié)35
1.11 練習題37
1.12 練習題答案.38
第2章 類型和域 47
2.1 類型和關(guān)系47
2.2 相等性比較49
2.3 數(shù)據(jù)值的原子性55
2.4 類型是什么？.58
2.5 標量類型與非標量類型 .62
2.6 SQL中的標量類型65
2.7 SQL中的類型檢查和隱式類型轉(zhuǎn)換 .67
2.8 SQL中的字符序.69
2.9 SQL中的行類型和表類型71
2.10 小結(jié) .73
2.11 練習題 74
2.12 練習題答案.76
第3章 元組、關(guān)系、行、表 85
3.1 元組是什么85
3.2 SQL中的行90
3.3 關(guān)系是什么93
3.4 關(guān)系及其主體.94
3.5 關(guān)系是n維的96
3.6 關(guān)系比較.96
3.7 TABLE_DUM與TABLE_DEE98
3.8 SQL中的表99
3.9 SQL中的列命名.101
3.10 小結(jié)104
3.11 練習題.104
3.12 練習題答案106
第4章 不要重復，不要null113
4.1 重復有什么問題？113
4.2 重復：深入討論.118
4.3 在SQL中避免重復.120
4.4 NULL有什么問題？.122
4.5 在SQL中避免NULL 126
4.6 有關(guān)外連接的說明 128
4.7 小結(jié)129
4.8 練習題.130
4.9 練習題答案.135
第5章 基關(guān)系變量和基表143
5.1 更新是集合級別的145
5.1.1 觸發(fā)操作146
5.1.2 約束檢查146
5.1.3 最后一點說明147
5.2 關(guān)系賦值147
5.2.1 D_INSERT和I_DELETE148
5.2.2 SQL中的表賦值150
5.2.3 賦值原理151
5.3 關(guān)于候選鍵的更多內(nèi)容152
5.4 關(guān)于外鍵的更多內(nèi)容.155
5.5 關(guān)系變量和謂詞.159
5.6 關(guān)系和類型.161
5.7 練習題.164
5.8 練習題答案.166
第6章SQL和關(guān)系代數(shù)I：原始運算符175
6.1 預備知識175
6.2 更多有關(guān)閉包的內(nèi)容.179
6.3 限制182
6.4 投影183
6.5 連接184
6.6 并、交和差.189
6.6.1 并189
6.6.2 交192
6.6.3 差192
6.7 哪些運算符是基本的運算符？193
6.8 逐步形成表達式.193
6.9 關(guān)系表達式到底表示什么？196
6.10 計算表表達式197
6.11 表達式變換198
6.12 屬性名依賴202
6.13 練習題.204
6.14 練習題答案207
第7章SQL和關(guān)系代數(shù)II：附加運算符.217
7.1 排他并.218
7.2 半連接和半差219
7.3 擴展221
7.4 映像關(guān)系223
7.5 除.227
7.6 聚集運算符.229
7.7 空實參234
7.8 再議映像關(guān)系235
7.9 匯總237
7.10 再議匯總243
7.11 分組、解組和關(guān)系值屬性246
7.11.1 有RVA則無需外連接.248
7.11.2 基關(guān)系變量中的RVA 250
7.11.3 關(guān)系比較中RVA不可或缺 251
7.11.4 聚集運算符 252
7.12 “WHAT IF”查詢 252
7.13 關(guān)于遞歸的說明254
7.14 ORDER BY是怎么回事.259
7.15 練習題.260
7.16 練習題答案264
第8章SQL與約束.279
8.1 類型約束280
8.1.1 選擇運算符和THE_運算符281
8.1.2 更多關(guān)于類型約束的討論283
8.2 SQL中的類型約束.284
8.3 數(shù)據(jù)庫約束.285
8.4 SQL中的數(shù)據(jù)庫約束291
8.5 事務293
8.6 為什么說數(shù)據(jù)庫約束必須立即檢查294
8.7 不是有些檢查必須延遲進行嗎？.297
8.8 約束與謂詞.299
8.9 其他問題302
8.10 練習題.304
8.11 練習題答案308
第9章SQL與視圖.319
9.1 視圖是關(guān)系變量.320
9.1.1 互換性原理321
9.1.2 關(guān)系常量323
9.2 視圖和謂詞.324
9.3 檢索運算325
9.4 視圖和約束.327
9.5 更新運算332
9.5.1 CHECK選項336
9.5.2 關(guān)于SQL的更多內(nèi)容.338
9.5.3 S JOIN P的示例.340
9.6 視圖的作用.345
9.7 視圖和快照.346
9.8 練習題.348
9.9 練習題答案.350
第10章SQL與邏輯.357
10.1 為什么需要邏輯358
10.2 簡單命題和復合命題360
10.2.1 聯(lián)結(jié)詞361
10.2.2 關(guān)于交換性的說明.364
10.2.3 逆否命題.364
10.3 簡單謂詞和復合謂詞366
10.4 量詞化.368
10.5 關(guān)系演算373
10.5.1 關(guān)于區(qū)間變元的更多內(nèi)容376
10.5.2 更多樣例查詢.377
10.5.3 樣例約束.379
10.6 關(guān)于量詞化的更多內(nèi)容381
10.6.1 不必同時使用兩個量詞.381
10.6.2 空區(qū)間383
10.6.3 定義EXISTS和FORALL384
10.6.4 其他量詞類型.385
10.7 一些等價關(guān)系389
10.7.1 關(guān)系完備性391
10.7.2 一致性的重要性392
10.8 小結(jié)393
10.9 練習題.394
10.10 練習題答案396
第11章 使用邏輯表述SQL表達式.405
11.1 一些變換法則406
11.2 示例1：邏輯蘊涵409
11.3 示例2：全稱量詞化409
11.4 示例3：蘊涵和全稱量詞化411
11.5 示例4：相關(guān)子查詢.413
11.6 示例5：命名子表達式415
11.7 示例6：關(guān)于命名子表達式的更多內(nèi)容418
11.8 示例7：處理模糊性.419
11.9 示例8：使用COUNT.422
11.10 示例9：連接查詢423
11.11 示例10：唯一量詞化423
11.12 示例11：ALL或ANY比較426
11.13 示例12：GROUY BY和HAVING430
11.14 練習題432
11.15 練習題答案433
第12章 關(guān)于SQL的其他主題437
12.1 SELECT *.438
12.2 顯式表.438
12.3 名稱限定439
12.4 區(qū)間變元440
12.5 子查詢.443
12.6 “可能非確定性”表達式446
12.7 空集合.447
12.8 簡化的BNF語法448
12.8.1 表表達式.449
12.8.2 布爾表達式451
12.9 練習題.452
12.10 練習題答案454
附錄A 關(guān)系模型.457
附錄B SQL背離關(guān)系模型之處481
附錄C 處理信息丟失的關(guān)系方法.485
附錄D T u t o r i a l D語法.503
附錄E 本書建議匯總507
附錄F NoSQL與關(guān)系理論.511
附錄G 深入閱讀建議523