數據庫系統(tǒng)導論（第7版）

目      錄
譯者序
第7版序言
第一部分   基礎知識
第1章   數據庫管理概述 1
1.1   引言 1
1.2   什么是數據庫系統(tǒng) 3
1.3   什么是數據庫 6
1.4   為什么用數據庫 10
1.5   數據獨立性 12
1.6   關系系統(tǒng)及其他 15
1.7   小結 17
練習 17
參考文獻和簡介 19
部分練習答案 19
第2章   數據庫系統(tǒng)體系結構 22
2.1   引言 22
2.2   三級體系結構 22
2.3   外模式 24
2.4   概念模式 26
2.5   內模式 26
2.6   映象 27
2.7   數據庫管理員 27
2.8   數據庫管理系統(tǒng) 28
2.9   數據通信管理器 31
2.10   客戶/服務器體系結構 31
2.11   工具 33
2.12   分布式處理 33
2.13   小結 35
練習 35
參考文獻和簡介 36
第3章   關系數據庫介紹 38
3.1   引言 38
3.2   關系模型概述 38
3.3   關系和關系變量 41
3.4   關系的含義 42
3.5   優(yōu)化 44
3.6   數據字典 45
3.7   基本關系變量和視圖 46
3.8   事務 49
3.9   供應商和零件數據庫 49
3.10   小結 51
練習 52
參考文獻和簡介 53
部分練習答案 54
第4章   SQL概述 55
4.1   引言 55
4.2   綜述 56
4.3   目錄 58
4.4   視圖 59
4.5   事務 59
4.6   嵌入式SQL 59
4.7   SQL是不完美的 66
4.8   小結 66
練習 67
參考文獻和簡介 68
部分練習答案 73
第二部分   關系數據模型
第5章   域. 關系和基本關系變量 77
5.1   引言 77
5.2   域 79
5.3   關系值 86
5.4   關系變量 90
5.5   SQL的支持 93
5.6   小結 96
練習 97
參考文獻和簡介 98
部分練習答案 101
第6章   關系代數 106
6.1   引言 106
6.2   關系封閉性 107
6.3   語法 109
6.4   語義 110
6.5   舉例 117
6.6   關系代數的作用 119
6.7   附加的操作符 120
6.8   分組與分組還原 125
6.9   關系比較 127
6.10   小結 128
練習 129
參考文獻和簡介 131
部分練習答案 133
第7章   關系演算 140
7.1   引言 140
7.2   元組演算 141
7.3   舉例 147
7.4   關系演算與關系代數的比較 149
7.5   計算能力 152
7.6   域演算 153
7.7   SQL語言 155
7.8   小結 162
練習 163
參考文獻和簡介 165
部分練習答案 167
第8章   完整性 179
8.1   引言 179
8.2   類型約束 180
8.3   屬性約束 181
8.4   關系變量約束 182
8.5   數據庫約束 182
8.6   黃金法則 183
8.7   靜態(tài)約束和動態(tài)約束 184
8.8   碼 185
8.9   SQL對完整性的支持 191
8.10   小結 194
練習 194
參考文獻和簡介 196
部分練習答案 201
第9章   視圖 209
9.1   引言 209
9.2   視圖的用途 211
9.3   視圖檢索 213
9.4   視圖更新 214
9.5   快照 225
9.6   SQL對視圖的支持 226
9.7   小結 227
練習 228
參考文獻和簡介 229
部分練習答案 232
第三部分   數據庫設計
第10章   函數依賴 238
10.1   引言 238
10.2   基本概念 239
10.3   平凡的函數依賴和非平凡的函數
        依賴 241
10.4   依賴集的閉包 241
10.5   屬性集的閉包 242
10.6   最小函數依賴集 244
10.7   小結 245
練習 246
參考文獻和簡介 247
部分練習答案 249
第11章   進一步規(guī)范化Ⅰ：1NF. 2NF. 
              3NF和BCNF 252
11.1   引言 252
11.2   無損分解和函數依賴 254
11.3   第一. 第二和第三范式 257
11.4   保持函數依賴 262
11.5   BOYCE/CODD范式 264
11.6   具有關系值屬性的關系變量 268
11.7   小結 270
練習 270
參考文獻和簡介 272
部分練習答案 274
第12章   進一步規(guī)范化Ⅱ：高級范式 282
12.1   引言 282
12.2   多值依賴與第四范式 282
12.3   連接依賴與第五范式 285
12.4   規(guī)范化過程小結 289
12.5   逆規(guī)范化 291
12.6   正交設計 292
12.7   其他的規(guī)范化形式 295
12.8   小結 296
練習 296
參考文獻和簡介 297
部分練習答案 302
第13章   語義建模 306
13.1   引言 306
13.2   總體方法 307
13.3   E/R模型 309
13.4   E/R圖 312
13.5   基于E/R模型的數據庫設計 313
13.6   簡單分析 317
13.7   小結 319
練習 320
參考文獻和簡介 321
第四部分   事務管理
第14章   恢復 333
14.1   引言 333
14.2   事務 334
14.3   事務恢復 335
14.4   系統(tǒng)恢復 337
14.5   介質恢復 338
14.6   兩階段提交 338
14.7   SQL對事務的支持 339
14.8   小結 340
練習 341
參考文獻和簡介 341
部分練習答案 345
第15章   并發(fā) 347
15.1   引言 347
15.2   三個并發(fā)問題 347
15.3   鎖 349
15.4   重提三個并發(fā)問題 350
15.5   死鎖 352
15.6   可串行性 353
15.7   隔離級別 354
15.8   意向鎖 355
15.9   SQL的支持 357
15.10   小結 358
練習 359
參考文獻和簡介 360
部分練習答案 365
第五部分   高級專題
第16章   安全性 369
16.1   引言 369
16.2   自主存取控制 371
16.3   強制存取控制 375
16.4   統(tǒng)計數據庫 377
16.5   數據加密 381
16.6   SQL的支持 384
16.7   小結 386
練習 387
參考文獻和簡介 388
部分練習答案 390
第17章   優(yōu)化 394
17.1   引言 394
17.2   一個啟發(fā)性的例子 395
17.3   查詢處理概述 396
17.4   表達式變換 399
17.5   數據庫統(tǒng)計信息 403
17.6   分而治之的策略 404
17.7   關系操作的實現(xiàn)算法 406
17.8   小結 410
練習 411
參考文獻和簡介 413
部分練習答案 430
第18章   信息空缺 432
18.1   引言 432
18.2   3VL方法概述 433
18.3   上述方案所造成的某些結果 437
18.4   空值和碼 440
18.5   外連接 442
18.6   特殊值 444
18.7   SQL的支持 444
18.8   小結 447
練習 448
參考文獻和簡介 449
部分練習答案 452
第19章   類型繼承 454
19.1   引言 454
19.2   類型的層次結構 457
19.3   多態(tài)性和可置換性 459
19.4   變量與賦值 462
19.5   約束特化 465
19.6   比較 467
19.7   操作. 版本和簽名 470
19.8   一個圓是一個橢圓嗎 473
19.9   約束特化—再次討論 476
19.10   小結 478
練習 479
參考文獻和簡介 480
部分練習答案 481
第20章   分布式數據庫 484
20.1   引言 484
20.2   一些預備知識 484
20.3   十二個目標 487
20.4   分布式系統(tǒng)面對的問題 493
20.5   客戶/服務器系統(tǒng) 502
20.6   DBMS獨立性 504
20.7   SQL的支持 508
20.8   小結 509
練習 509
參考文獻和簡介 510
第21章   決策支持 518
21.1   引言 518
21.2   決策支持的特征 519
21.3   決策支持的數據庫設計 520
21.4   數據準備 525
21.5   數據倉庫和數據集市 527
21.6   聯(lián)機分析處理 530
21.7   數據挖掘 535
21.8   小結 536
練習 537
參考文獻和簡介 538
部分練習答案 540
第22章   時態(tài)數據庫 541
22.1   引言 541
22.2   時態(tài)數據 542
22.3   問題是什么 544
22.4   時間間隔 548
22.5   間隔類型 549
22.6   間隔上的標量操作符 551
22.7   間隔上的聚集操作符 551
22.8   與間隔有關的關系操作符 552
22.9   間隔上的約束 557
22.10   間隔上的更新操作符 559
22.11   關于數據庫設計 560
22.12   小結 562
練習 563
參考文獻和簡介 563
部分練習答案 565
第23章   基于邏輯的數據庫 567
23.1   引言 567
23.2   綜述 567
23.3   命題演算 569
23.4   謂詞演算 572
23.5   數據庫的證明理論觀點 577
23.6   演繹數據庫系統(tǒng) 580
23.7   遞歸查詢過程 583
23.8   小結 588
練習 589
參考文獻和簡介 590
部分練習答案 596
第六部分   對象和對象/關系數據庫
第24章   對象數據庫 599
24.1   引言 599
24.2   對象. 類. 方法和消息 602
24.3   進一步的分析 605
24.4   一個詳實的例子 611
24.5   混合性問題 618
24.6   小結 624
練習 626
參考文獻和簡介 627
部分練習答案 634
第25章   對象/關系數據庫 637
25.1   引言 637
25.2   第一個根本性錯誤 639
25.3   第二個根本性錯誤 644
25.4   實現(xiàn)上的問題 645
25.5   真正融合的好處 647
25.6   小結 648
參考文獻和簡介 649
附      錄
附錄A   SQL表達式 657
附錄B   SQL3概覽 666
附錄C   縮略語和符號 678