數(shù)據(jù)庫系統(tǒng)導(dǎo)論（第7版）

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