譯者序
譯者簡介
第8版前言
第一部分 基礎知識
第1章 數據庫管理概述 2
1.1 引言 2
1.2 數據庫係統的構成 4
1.3 數據庫的內涵 6
1.4 使用數據庫的優點 9
1.5 數據獨立性 11
1.6 關係係統及其他數據庫係統 14
1.7 小結 16
習題 16
參考文獻 17
第2章 數據庫係統體係結構 18
2.1 引言 18
2.2 三級體係結構 18
2.3 外部層 19
2.4 概念層 21
2.5 內部層 22
2.6 映像 22
2.7 數據庫管理員 23
2.8 數據庫管理係統 24
2.9 數據通信 26
2.10 客戶/服務器體係結構 26
2.11 實用程序 27
2.12 分布式處理 27
2.13 小結 29
習題 29
參考文獻 30
第3章 關係數據庫簡介 32
3.1 引言 32
3.2 關係模型概述 32
3.3 關係和關係變量 34
3.4 關係的含義 36
3.5 優化 37
3.6 數據字典 38
3.7 基本關係變量和視圖 39
3.8 事務 41
3.9 供應商和零件數據庫 42
3.10 小結 43
習題 44
參考文獻 45
第4章 SQL簡介 47
4.1 引言 47
4.2 SQL基本操作 47
4.3 目錄 49
4.4 視圖 50
4.5 事務 50
4.6 嵌入式SQL 51
4.7 動態SQL和SQL/CLI 55
4.8 SQL並不完美 57
4.9 小結 57
習題 58
參考文獻 59
第二部分 關係模型
第5章 類型 64
5.1 引言 64
5.2 值與變量 64
5.3 類型與錶示 66
5.4 類型定義 69
5.5 操作符 70
5.6 類型生成子 74
5.7 SQL支持 75
5.8 小結 80
習題 81
參考文獻 82
第6章 關係 83
6.1 引言 83
6.2 元組 83
6.3 關係類型 86
6.4 關係的值 87
6.5 關係變量 92
6.6 SQL的支持 96
6.7 小結 100
習題 101
參考文獻 102
第7章 關係代數 105
7.1 引言 105
7.2 關係封閉性 106
7.3 基本代數:語法 107
7.4 基本代數:語義 109
7.5 舉例 115
7.6 關係代數的作用 117
7.7 深入討論 118
7.8 附加的操作符 119
7.9 分組與解組 124
7.10 小結 126
習題 126
參考文獻 128
第8章 關係演算 130
8.1 引言 130
8.2 元組演算 131
8.3 舉例 136
8.4 關係演算與關係代數的比較 138
8.5 計算能力 141
8.6 SQL語言 142
8.7 域演算 149
8.8 QBE 151
8.9 小結 154
習題 155
參考文獻 156
第9章 完整性 158
9.1 引言 158
9.2 進一步討論 159
9.3 謂詞和命題 161
9.4 關係變量謂詞和數據庫謂詞 162
9.5 約束檢查 162
9.6 內部謂詞與外部謂詞 163
9.7 正確性與一緻性 164
9.8 完整性和視圖 165
9.9 約束分類模式 166
9.10 碼 167
9.11 觸發器 172
9.12 SQL的支持 174
9.13 小結 177
習題 178
參考文獻 180
第10章 視圖 185
10.1 引言 185
10.2 視圖的用途 187
10.3 視圖檢索 189
10.4 視圖更新 189
10.5 快照 199
10.6 SQL對視圖的支持 200
10.7 小結 202
習題 202
參考文獻 203
第三部分 數據庫設計
第11章 函數依賴 209
11.1 引言 209
11.2 基本概念 209
11.3 平凡的函數依賴和非平凡的函數依賴 211
11.4 依賴集的閉包 211
11.5 屬性集的閉包 212
11.6 最小函數依賴集 214
11.7 小結 215
習題 216
參考文獻 217
第12章 進一步規範化Ⅰ：1NF、2NF、3NF和BCNF 219
12.1 引言 219
12.2 無損分解和函數依賴 221
12.3 第一、第二和第三範式 223
12.4 保持函數依賴 228
12.5 BOYCE/CODD範式 229
12.6 具有關係值屬性的關係變量 233
12.7 小結 234
習題 234
參考文獻 236
第13章 進一步規範化Ⅱ：高級範式 238
13.1 引言 238
13.2 多值依賴與第四範式 238
13.3 連接依賴與第五範式 241
13.4 規範化過程小結 244
13.5 逆規範化 246
13.6 正交設計 247
13.7 其他的規範化形式 249
13.8 小結 250
習題 250
參考文獻 251
第14章 語義建模 256
14.1 引言 256
14.2 總體方法 257
14.3 E/R模型 258
14.4 E/R圖 261
14.5 基於E/R模型的數據庫設計 262
14.6 簡單分析 265
14.7 小結 267
習題 268
參考文獻 269
第四部分 事務管理
第15章 恢復 280
15.1 引言 280
15.2 事務 280
15.3 事務恢復 283
15.4 係統恢復 284
15.5 介質恢復 286
15.6 兩階段提交 286
15.7 保存點 287
15.8 SQL對事務的支持 287
15.9 小結 288
習題 288
參考文獻 289
第16章 並發 292
16.1 引言 292
16.2 三個並發問題 292
16.3 鎖 294
16.4 重提三個並發問題 295
16.5 死鎖 297
16.6 可串行性 298
16.7 重提恢復 299
16.8 隔離級彆 300
16.9 意嚮鎖 301
16.10 ACID的不足之處 303
16.11 SQL的支持 306
16.12 小結 306
習題 307
參考文獻 308
第五部分 高級專題
第17章 安全性 314
17.1 引言 314
17.2 自主存取控製 315
17.3 強製存取控製 319
17.4 統計數據庫 320
17.5 數據加密 324
17.6 SQL的支持 327
17.7 小結 329
習題 330
參考文獻 330
第18章 優化 333
18.1 引言 333
18.2 一個啓發性的示例 334
18.3 查詢處理概述 334
18.4 錶達式轉換 337
18.5 數據庫統計信息 340
18.6 分而治之的策略 341
18.7 關係操作的實現算法 343
18.8 小結 346
習題 347
參考文獻 349
第19章 信息空缺 362
19.1 引言 362
19.23 VL方法概述 363
19.3 上述方案所造成的某些結果 367
19.4 空值和碼 369
19.5 外連接 370
19.6 特殊值 372
19.7 SQL的支持 372
19.8 小結 376
習題 376
參考文獻 378
第20章 類型繼承 381
20.1 引言 381
20.2 類型的層次結構 383
20.3 多態性和可置換性 386
20.4 變量與賦值 388
20.5 約束特化 391
20.6 比較 392
20.7 操作、版本和簽名 395
20.8 圓是橢圓嗎 397
20.9 再論約束特化 400
20.10 SQL的支持 401
20.11 小結 404
習題 405
參考文獻 406
第21章 分布式數據庫 409
21.1 引言 409
21.2 預備知識 409
21.3 十二個目標 411
21.4 分布式係統麵對的問題 416
21.5 客戶/服務器係統 424
21.6 DBMS獨立性 426
21.7 SQL的支持 429
21.8 小結 429
習題 430
參考文獻 430
第22章 決策支持 436
22.1 引言 436
22.2 決策支持的特徵 437
22.3 決策支持的數據庫設計 438
22.4 數據準備 442
22.5 數據倉庫和數據集市 443
22.6 聯機分析處理 446
22.7 數據挖掘 451
22.8 SQL的支持 452
22.9 小結 453
習題 453
參考文獻 454
第23章 時態數據庫 457
23.1 引言 457
23.2 問題是什麼 459
23.3 時間區間 463
23.4 歸並和反歸並關係 467
23.5 關係操作符推廣 474
23.6 數據庫設計 478
23.7 完整性約束 482
23.8 小結 486
習題 487
參考文獻 488
第24章 基於邏輯的數據庫 489
24.1 引言 489
24.2 綜述 489
24.3 命題演算 491
24.4 謂詞演算 494
24.5 數據庫的證明理論觀點 498
24.6 演繹數據庫係統 501
24.7 遞歸查詢過程 504
24.8 小結 509
習題 510
參考文獻 511
第六部分 對象、關係和XML
第25章 對象數據庫 516
25.1 引言 516
25.2 對象、類、方法和消息 518
25.3 進一步的分析 521
25.4 一個詳實的示例 526
25.5 混閤性問題 533
25.6 小結 538
習題 539
參考文獻 540
第26章 對象/關係數據庫 546
26.1 引言 546
26.2 第一個根本性錯誤 548
26.3 第二個根本性錯誤 552
26.4 實現上的問題 554
26.5 真正融閤的好處 556
26.6 SQL工具 557
26.7 小結 561
習題 562
參考文獻 562
第27章 互聯網與XML 569
27.1 引言 569
27.2 萬維網和因特網 569
27.3 XML綜述 570
27.4 XML數據定義 577
27.5 XML數據操縱 583
27.6 XML和數據庫 589
27.7 SQL的支持 590
27.8 小結 594
習題 595
參考文獻 596
附錄
附錄A TransRelational模型 599
附錄B SQL錶達式 613
附錄C 縮略語和符號 620
· · · · · · (收起)