數(shù)據(jù)庫系統(tǒng)概念

目錄
譯者序
譯者簡介 
前言
第1章   引言
1.1    數(shù)據(jù)庫系統(tǒng)的目的
1.2   數(shù)據(jù)視圖
1.2.1   數(shù)據(jù)抽象 
1.2.2   實例和模式
1.2.3    數(shù)據(jù)獨立性
1.3     數(shù)據(jù)模型
1.3.1    基于對象的邏輯模型
1.3.2    基于記錄的邏輯模型
1.3.3    物理數(shù)據(jù)模型
1.4    數(shù)據(jù)庫語言
1.4.1    數(shù)據(jù)定義語言
1.4.2    數(shù)據(jù)操縱語言
1.5    事務(wù)管理 
1.6    存儲管理 
1.7     數(shù)據(jù)庫管理員
1.8     數(shù)據(jù)庫用戶
1.9     系統(tǒng)總體結(jié)構(gòu)
1.10   總結(jié)
習題
文獻注解
第2章   實體－聯(lián)系模型
2.1   基本概念
2.1.1    實體集
2.1.2    聯(lián)系集
2.2    設(shè)計問題
2.2.1    用實體集還是用屬性
2.2.2     用實體集還是用聯(lián)系集
2.2.3     二元聯(lián)系集與n元聯(lián)系集
2.3     映射約束
2.3.1     映射的基數(shù)
2.3.2     存在依賴
2.4      碼
2.4.1    實體集
2.4.2     聯(lián)系集
2.5     實體－聯(lián)系圖
2.6     弱實體集
2.7     擴展E-R特性
2.7.1     特殊化
2.7.2      概括
2.7.3     屬性繼承
2.7.4    約束設(shè)計
2.7.5      聚集
2.8     設(shè)計數(shù)據(jù)庫的E-R模式
2.8.1    設(shè)計階段
2.8.2     銀行業(yè)務(wù)的數(shù)據(jù)需求
2.8.3    與銀行相關(guān)的實體集
2.8.4     與銀行相關(guān)的聯(lián)系集
2.8.5     銀行企業(yè)E-R圖
2.9    將E-R模式轉(zhuǎn)換為表
2.9.1   用表表示強實體集
2.9.2   用表表示弱實體集
2.9.3   用表表示聯(lián)系集
2.9.4   多值屬性
2.9.5    用表表示概括
2.9.6    用表表示聚集
2.10     總結(jié)
習題
文獻注解
第3章    關(guān)系模型
3.1    關(guān)系數(shù)據(jù)庫的結(jié)構(gòu)
3.1.1    基本結(jié)構(gòu)
3.1.2    數(shù)據(jù)庫模式
3.1.3    碼
3.1.4    查詢語言
3.2    關(guān)系代數(shù) 
3.2.1    基本運算
3.2.2   關(guān)系代數(shù)的形式化定義 
3.2.3    附加運算
3.3    元組關(guān)系演算
3.3.1    查詢的例子
3.3.2    形式化定義
3.3.3    表達式的安全性
3.3.4    語言的表達能力
3.4     域關(guān)系演算
3.4.1    形式化定義
3.4.2    查詢的例子
3.4.3    表達式的安全性
3.4.4    語言的表達能力
3.5    擴展關(guān)系代數(shù)運算
3.5.1    廣義投影
3.5.2    外連接
3.5.3    聚集函數(shù)
3.6    數(shù)據(jù)庫的修改
3.6.1    刪除
3.6.2     插入
3.6.3    更新
3.7    視圖
3.7.1    視圖定義
3.7.2    通過視圖進行更新與空值
3.7.3    用視圖定義視圖
3.8     總結(jié)
習題
文獻注解
第4章    SQL
4.1     背景
4.2     基本結(jié)構(gòu)
4.2.1    Select子句
4.2.2     Where子句
4.2.3    from子句
4.2.4    更名運算
4.2.5     元組變量
4.2.6     字符串操作
4.2.7    排列元組的顯示次序
4.2.8     重復(fù)
4.3    集合操作
4.3.1    并操作
4.3.2    交操作 
4.3.3    差操作
4.4    聚集函數(shù)
4.5    空值
4.6    嵌套子查詢
4.6.1    集合成員資格
4.6.2    集合的比較
4.6.3    測試是否為空關(guān)系
4.6.4    測試是否存在重復(fù)元組
4.7    派生關(guān)系 
4.8    視圖
4.9    數(shù)據(jù)庫的修改
4.9.1     刪除
4.9.2     插入
4.9.3     更新
4.9.4    視圖的更新
4.10    關(guān)系的連接
4.10.1     舉例
4.10.2    連接類型和條件
4.11     數(shù)據(jù)定義語言DDL
4.11.1    SQL中的域類型
4.11.2    SQL的模式定義
4.12     嵌入式SQL 
4.13    其他SQL特性
4.14    總結(jié)
習題
文獻注解
第5章    其他關(guān)系語言
5.1    Query-by-Example
5.1.1      在一個關(guān)系上的查詢
5.1.2      在多個關(guān)系上的查詢
5.1.3    條件框 
5.1.4    結(jié)果關(guān)系
5.1.5    元件的顯示次序
5.1.6    聚集操作
5.1.7    數(shù)據(jù)庫的修改
5.2    Quel
5.2.1     簡單查詢
5.2.2     元組變量
5.2.3     聚集函數(shù) 
5.2.4     數(shù)據(jù)庫的修改
5.2.5     集合操作
5.2.6     Quel和元組關(guān)系演算
5.3     Datalog
5.3.1     基本結(jié)構(gòu)
5.3.2     Datalog規(guī)則語法 
5.3.3      非遞歸Datalog語義
5.3.4    安全性
5.3.5     Datalog中的關(guān)系運算
5.3.6      Datalog中的遞歸
5.3.7     遞歸的能力
5.4     總結(jié)
習題
文獻注解
第6章    完整性約束
6.1     域約束
6.2     參照完整性
6.2.1      基本概念
6.2.2      E-R模型中的參照完整性
6.2.3     數(shù)據(jù)庫的修改
6.2.4     SQL中的參照完整性
6.3     斷言
6.4     觸發(fā)器
6.5      函數(shù)依賴
6.5.1     基本概念
6.5.2     函數(shù)依賴集的閉包
6.5.3      屬性集的閉包
6.5.4     正則覆蓋
6.6     總結(jié)
習題
文獻注解
第7章     關(guān)系數(shù)據(jù)庫設(shè)計
7.1     關(guān)系數(shù)據(jù)庫設(shè)計中易犯的錯誤
7.2    模式分解
7.3     利用函數(shù)依賴作規(guī)范化
7.3.1     分解應(yīng)具有的特性
7.3.2     Boyce-Codd范式
7.3.3     第三范式
7.3.4    BCNF和3NF的比較 
7.4    利用多植依賴作規(guī)范化
7.4.1     多植依賴
7.4.2     多植依賴的理論
7.4.3     第四范式
7.5     利用連接依賴作規(guī)范化
7.5.1    連接依賴
7.5.2     投影－連接范式
7.6     域－碼范式
7.7    數(shù)據(jù)庫設(shè)計的其他方法
7.8    總結(jié)
習題
文獻注解
第8章   面向?qū)ο髷?shù)據(jù)庫
8.1    新的數(shù)據(jù)庫應(yīng)用
8.2    面向?qū)ο髷?shù)據(jù)模型
8.2.1    對象結(jié)構(gòu)
8.2.2    對象類
8.2.3     繼承
8.2.4    多重繼承
8.2.5    對象標識
8.2.6    對象包含
8.3    面向?qū)ο蟮恼Z言
8.4    持久化程序設(shè)計語言
8.4.1    對象的持久性
8.4.2    對象標識與指針
8.4.3    持久對象的存儲和訪問
8.5    持久化C++系統(tǒng)
8.5.1     ODMG C++對象定義語言
8.5.2     ODMG C++對象操縱語言
8.6    總結(jié)
習題 
文獻注解
第9章   對象－關(guān)系數(shù)據(jù)庫
9.1     嵌套關(guān)系 
9.2     復(fù)雜類型和面向?qū)ο?br />9.2.1      有結(jié)構(gòu)的類型和集合體類型
9.2.2     繼承 
9.2.3     引用類型
9.3     與復(fù)雜類型有關(guān)的查詢
9.3.1    以關(guān)系為值的屬性
9.3.2     路徑表達式
9.3.3     嵌套與解除嵌套
9.3.4     函數(shù)
9.4      復(fù)雜值和復(fù)雜對象的創(chuàng)建
9.5     面向?qū)ο髷?shù)據(jù)庫與對象－關(guān)系數(shù)據(jù)庫的比較
9.6     總結(jié)
習題
文獻注解
第10章    存儲結(jié)構(gòu)和文件結(jié)構(gòu)
10.1    物理存儲介質(zhì)概覽
10.2     磁盤
10.2.1     磁盤的物理特性
10.2.2     磁盤性能的度量標準
10.2.3     磁盤塊存取的優(yōu)化
10.3     RAID
10.3.1     通過冗余提高可靠性
10.3.2     通過并行提高性能
10.3.3    RAID級別
10.3.4    選擇正確的RAID級別
10.3.5    擴展
10.4     第三級存儲
10.4.1     光盤
10.4.2     磁帶
10.5     存儲訪問
10.5.1    緩沖區(qū)管理器
10.5.2    緩沖區(qū)替換策略
10.6     文件組織
10.6.1    定長記錄
10.6.2     變長記錄
10.7     文件中記錄的組織
10.7.1     順序文件組織
10.7.2     聚集文件組織
10.8    數(shù)據(jù)字典的存儲
10.9    面向?qū)ο髷?shù)據(jù)庫的存儲結(jié)構(gòu)
10.9.1     對象到文件的映射 
10.9.2    對象標識的實現(xiàn)
10.9.3    持久化指針的管理
10.9.4    對象的磁盤結(jié)構(gòu)與內(nèi)存結(jié)構(gòu)
10.9.5    大對象
10.10    總結(jié)
習題
文獻注解
第11章    索引和散列
11.1     基本概念
11.2     順序索引
11.2.1     主索引
11.2.2     輔 助索引
11.3     B +樹索引文件
11.3.1    B+樹的結(jié)構(gòu)
11.3.2    B+樹上的查詢
11.3.3    B+樹的更新 
11.3.4    B+樹文件組織
11.4    B樹索引文件 
11.5    靜態(tài)散列
11.5.1     散列文件組織
11.5.2     散列索引
11.6     動態(tài)散列法
11.7     順序索引和散列的比較 
11.8    SQL中索引定義
11.9     多碼訪問
11.9.1     網(wǎng)格文件
11.9.2     分段散列
11.10    總結(jié)
習題
文獻注解
第12章    查詢處理
12.1    概述
12.2    用于估計代價的目錄信息
12.3    查詢代價的度量
12.4    選擇運算
12.4.1    基本算法
12.4.2    利用索引的選擇
12.4.3    涉及比較的選擇 
12.4.4    復(fù)雜選擇的實現(xiàn)
12.5     排序
12.6    連接運算
12.6.1     連接結(jié)果集大小的估計
12.6.2     嵌套循環(huán)連接
12.6.3    塊嵌套循環(huán)連接
12.6.4     索引嵌套循環(huán)連接
12.6.5     歸并連接
12.6.6     散列連接
12.6.7     復(fù)雜連接
12.7     其他運算
12.7.1     消除重復(fù)
12.7.2    投影 
12.7.3     集合運算 
12.7.4     外連接
12.7.5     聚集
12.8     表達式計算
12.8.1     實體化
12.8.2    流水線
12.9     關(guān)系表達式的轉(zhuǎn)換
12.9.1    表達式的等價性
12.9.2    等價規(guī)則
12.9.3    變換的一些例子
12.9.4     連接的次序
12.9.5     等價表達式的枚舉
12.10    選擇執(zhí)行計劃
12.10.1    執(zhí)行技術(shù)的相互作用
12.10.2    基于代價的優(yōu)化
12.10.3     啟發(fā)式優(yōu)化
12.10.4    查詢優(yōu)化器的結(jié)構(gòu)
12.11    總結(jié)
習題
文獻注解
第13章   事務(wù)
13.1     事務(wù)概念
13.2    事務(wù)狀態(tài)
13.3    原子性和持久性的實現(xiàn)
13.4    并發(fā)執(zhí)行
13.5    可串行化
13.5.1    沖突可串行化
13.5.2     視圖可串行化
13.6    可恢復(fù)性
13.6.1     可恢復(fù)調(diào)度
13.6.2     無級聯(lián)調(diào)度
13.7    隔離性的實現(xiàn)
13.8    SQL中的事務(wù)定義
13.9    可串行化判定
13.9.1     沖突可串行化的判定
13.9.2    視圖可串行化的判定
13.10    總結(jié)
習題
文獻注解
第14章    并發(fā)控制
14.1    基于鎖的協(xié)議
14.1.1    鎖
14.1.2     鎖的授予
14.1.3    兩階段封鎖協(xié)議
14.1.4    基于圖的協(xié)議
14.2     基于時間戳的協(xié)議
14.2.1    時間戳
14.2.2    時間戳排序協(xié)議
14.2.3    Thomas寫規(guī)則 
14.3     基于有效性檢查的協(xié)議
14.4    多粒度
14.5    多版本機制
14.5.1    多版本的時間戳排序
14.5.2     多版本兩階段封鎖
14.6     死鎖處理
14.6.1    死鎖預(yù)防
14.6.2    基于超時的機制
14.6.3    死鎖檢測與恢復(fù)
14.7    插入與刪除操作
14.7.1    刪除
14.7.2    插入
14.7.3    幻象現(xiàn)象
14.8    索引結(jié)構(gòu)中的并發(fā)
14.9    總結(jié)
習題
文獻注解
第15章   恢復(fù)系統(tǒng)
15.1    故障分類
15.2    存儲器結(jié)構(gòu)
15.2.1    存儲器類型
15.2.2    穩(wěn)定存儲器的實現(xiàn)
15.2.3    數(shù)據(jù)訪問
15.3    恢復(fù)與原子性
15.4    基于日志的恢復(fù)
15.4.1    延遲的數(shù)據(jù)庫修改
15.4.2    立即的數(shù)據(jù)庫修改
15.4.3    檢查點
15.5     影子分頁
15.6    并發(fā)事務(wù)的恢復(fù)
15.6.1    與并發(fā)控制的關(guān)系
15.6.2     事務(wù)回滾
15.6.3    檢查點
15.6.4    重啟動恢復(fù)
15.7    緩沖區(qū)管理
15.7.1    日志記錄緩沖
15.7.2     數(shù)據(jù)庫緩沖
15.7.3    操作系統(tǒng)在緩沖區(qū)管理中的作用 
15.8    非易失性存儲器數(shù)據(jù)丟失的故障
15.9    高級恢復(fù)技術(shù)
15.9.1    邏輯Undo日志
15.9.2     事務(wù)回滾
15.9.3     檢查點
15.9.4    重啟動恢復(fù)
15.9.5   模糊檢查點
15.10    總結(jié)
習題
文獻注解
第16章    數(shù)據(jù)庫系統(tǒng)體系結(jié)構(gòu)
16.1    集中式系統(tǒng)
16.2    客戶－服務(wù)器系統(tǒng)
16.2.1    事務(wù)服務(wù)器
16.2.2    數(shù)據(jù)服務(wù)器
16.3    并行系統(tǒng)
16.3.1    加速比和擴展性
16.3.2    互連網(wǎng)絡(luò) 
16.3.3    并行數(shù)據(jù)庫體系結(jié)構(gòu)
16.4     分布式系統(tǒng)
16.4.1    說明性的例子
16.4.2    利弊權(quán)衡
16.5    網(wǎng)絡(luò)類型
16.5.1     局域網(wǎng)
16.5.2     廣域網(wǎng)
16.6   總結(jié)
習題
文獻注解
第17章    并行數(shù)據(jù)庫
17.1    引言 
17.2    I/O并行
17.2.1    劃分技術(shù)
17.2.2    劃分技術(shù)比較 
17.2.3    偏斜的處理
17.3    查詢間并行
17.4    查詢內(nèi)并行
17.5     操作內(nèi)并行
17.5.1    并行排序 
17.5.2     并行連接
17.5.3     其他關(guān)系操作 
17.5.4     操作并行計算的代價
17.6     操作間并行
17.6.1     流水線并行
17.6.2     獨立的并行
17.6.3     查詢優(yōu)化
17.7    并行系統(tǒng)設(shè)計
17.8    總結(jié)
習題
文獻注解
第 18  章    分布式數(shù)據(jù)庫
18.1     分布式數(shù)據(jù)存儲
18.1.1      數(shù)據(jù)復(fù)制
18.1.2     數(shù)據(jù)分片
18.1.3    數(shù)據(jù)復(fù)制與分片
18.2     網(wǎng)絡(luò)透明性
18.2.1    數(shù)據(jù)項的命名
18.2.2    透明性與更新
18.3     分布式查詢處理 
18.3.1     查詢轉(zhuǎn)換
18.3.2    簡單的連接處理
18.3.3    半連接策略
18.3.4    利用并行性的連接策略
18.4     分布式事務(wù)模型 
18.4.1     系統(tǒng)結(jié)構(gòu)
18.4.2    系統(tǒng)故障模式
18.4.3    強壯性 
18.5    提交協(xié)議
18.5.1    兩階段提交
18.5.2    三階段提交
18.5.3    協(xié)議的比較
18.6     協(xié)調(diào)器選擇
18.6.1    備份協(xié)調(diào)器
18.6.2    選舉算法 
18.7     并發(fā)控制
18.7.1    封鎖協(xié)議
18.7.2     時間戳
18.8     死鎖處理
18.8.1    集中方式
18.8.2    全分布方式
18.9    多數(shù)據(jù)庫系統(tǒng)
18.9.1     數(shù)據(jù)的一致視圖
18.9.2     事務(wù)管理
18.10    總結(jié)
 習題
文獻注解
第19 章     特別的話題
19.1    安全性和完整性
19.1.1     安全性和完整性違例 
19.1.2    授權(quán)
19.1.3     授權(quán)與視圖
19.1.4    權(quán)限的授予
19.1.5     在SQL 進行安全性說明
19.1.6     加密
19.1.7    統(tǒng)計數(shù)據(jù)庫 
19.2     標準化 
19.3    性能基準程序
19.3.1    任務(wù)集
19.3.2     數(shù)據(jù)庫應(yīng)用類型
19.3.3     TPC基準程序 
19.3.4     OODB基準程序
19.4     性能調(diào)整
19.4.1    瓶頸的位置
19.4.2    可調(diào)參數(shù) 
19.4.3     模式的調(diào)整
19.4.4     索引的調(diào)整
19.4.5    事務(wù)的調(diào)整
19.4.6    性能模擬
19.5      數(shù)據(jù)庫中的時間
19.5.1     SQL-92 中的時間定義
19.5.2    時態(tài)查詢語言
19.6     用戶 界面
19.7     主動數(shù)據(jù)庫 
19.8     總結(jié)
習題
文獻注解
 第20章    高級事務(wù)處理
20.1    遠程備份系統(tǒng)
20.2    事務(wù)處理監(jiān)控器
20.2.1    TP監(jiān)控器體系結(jié)構(gòu)
20.2.2    使用TP監(jiān)控器進行應(yīng)用協(xié)調(diào)
20.3    高性能事務(wù)系統(tǒng)
20.3.1    主存數(shù)據(jù)庫 
20.3.2    成組提交
20.4    長事務(wù) 
20.4.1     不可串行化的執(zhí)行 
20.4.2    并發(fā)控制
20.4.3    嵌套事務(wù)和多級事務(wù)
20.4.4    補償事務(wù)
20.4.5    實現(xiàn)問題
20.5     實時事務(wù)系統(tǒng)
20.6    較弱的一致性級別 
20.6.1    二級一致性
20.6.2    游標穩(wěn)定
20.7     事務(wù)工作流
20.7.1    工作流說明
20.7.2    工作流的故障原子性需求
20.7.3     工作流的執(zhí)行 
20.7.4     工作流的恢復(fù)
20.8     總結(jié)
習題
文獻注解
第21章    新的應(yīng)用
21.1    決策支持系統(tǒng)
21.2    數(shù)據(jù)分析
21.3    數(shù)據(jù)挖掘
21.3.1    用規(guī)則表示知識
21.3.2    數(shù)據(jù)挖掘問題的類型
21.3.3    用戶制導(dǎo)的數(shù)據(jù)挖掘
21.3.4    規(guī)則的自動發(fā)現(xiàn)
21.4     數(shù)據(jù)倉庫工程
21.5    空間和地理數(shù)據(jù)庫 
21.5.1    幾何信息的表示
21.5.2    設(shè)計數(shù)據(jù)庫 
21.5.3     地理數(shù)據(jù)
21.5.4    空間查詢
21.5.5    空間數(shù)據(jù)的索引
21.6    多媒體數(shù)據(jù)庫 
21.6.1     基于相似性的檢索
21.6.2    連續(xù)介質(zhì)數(shù)據(jù)
21.7    移動性和個人數(shù)據(jù)庫 
21.7.1    移動計算模型
21.7.2     路由和查詢處理
21.7.3    廣播數(shù)據(jù)
21.7.4    連接斷開與一致性
21.8    信息檢索系統(tǒng)
21.8.1    查詢
21.8.2    文檔的索引
21.8.3    瀏覽與超文本
21.9    分布式信息系統(tǒng)
21.10    World Wide Web
21.10.1    統(tǒng)一資源定位器
21.10.2     Web服務(wù)器
21.10.3    顯示語言
21.10.4    數(shù)據(jù)庫的Web接口
21.10.5    在Web上查找信息
21.11    總結(jié)
習題
文獻注解
附錄 A     網(wǎng)狀模型
附錄B     層次模型