數(shù)據(jù)庫系統(tǒng)及應用

目　錄

第1章　緒論　1
1.1　數(shù)據(jù)庫與數(shù)據(jù)庫系統(tǒng)引言　1
1.1.1　數(shù)據(jù)、信息與知識　2
1.1.2　數(shù)據(jù)處理與數(shù)據(jù)管理　2
1.1.3　數(shù)據(jù)庫技術的基本概念　3
1.2　數(shù)據(jù)管理技術的演變　4
1.2.1　人工管理階段(20世紀40年代中期—50年代中期)　4
1.2.2　文件系統(tǒng)階段(20世紀50年代后期—60年代中后期)　4
1.2.3　數(shù)據(jù)庫技術階段　5
1.3　數(shù)據(jù)描述與數(shù)據(jù)模型　6
1.3.1　三級世界的劃分　6
1.3.2　邏輯數(shù)據(jù)與物理數(shù)據(jù)　7
1.3.3　數(shù)據(jù)之間的聯(lián)系　8
1.4　數(shù)據(jù)模型　9
1.4.1　數(shù)據(jù)模型的定義和類型　9
1.4.2　概念模型　9
1.4.3　層次模型、網(wǎng)狀模型　10
1.4.4　關系模型　12
1.4.5　面向對象模型　13
1.5　數(shù)據(jù)庫系統(tǒng)結構　13
1.5.1　數(shù)據(jù)庫三級模式結構　14
1.5.2　數(shù)據(jù)庫二級映象功能與數(shù)據(jù)獨立性　15
1.5.3　數(shù)據(jù)庫系統(tǒng)組成　15
本章小結　17
習題一　17

第2章　關系模型和關系運算理論　19
2.1　關系模型概述　19
2.1.1　基本術語　20
2.1.2　關系數(shù)據(jù)結構及形式化定義　21
2.1.3　關系模型的3類完整性規(guī)則　22
2.2　關系模式與關系數(shù)據(jù)庫　23
2.3　關系代數(shù)　23
2.3.1　關系查詢語言和關系運算　23
2.3.2　傳統(tǒng)的集合運算　24
2.3.3　專門的關系運算　25
2.4　關系演算　28
2.4.1　元組關系演算　28
2.4.2　域關系演算　29
2.4.3　關系運算的安全約束　29
本章小結　30
習題二　30

第3章　關系數(shù)據(jù)庫標準語言SQL　32
3.1　SQL概述　32
3.1.1　SQL的產(chǎn)生與發(fā)展　32
3.1.2　SQL數(shù)據(jù)庫的體系結構　33
3.1.3　SQL的特點　34
3.2　數(shù)據(jù)定義　36
3.2.1　基本表的定義、刪除與修改　36
3.2.2　索引的建立與刪除　38
3.3　SQL數(shù)據(jù)查詢　38
3.3.1　SELECT查詢語句　38
3.3.2　單表查詢　40
3.3.3　連接查詢　45
3.3.4　嵌套查詢　47
3.3.5　集合查詢　52
3.4　數(shù)據(jù)更新語句　53
3.4.1　插入數(shù)據(jù)　53
3.4.2　刪除數(shù)據(jù)　54
3.4.3　修改數(shù)據(jù)　55
3.5　視圖　56
3.5.1　視圖的定義　56
3.5.2　視圖的查詢　58
3.5.3　視圖的更新　59
3.5.4　視圖的作用　60
3.6　數(shù)據(jù)控制　61
3.7　嵌入式SQL　62
3.7.1　嵌入式SQL的一般形式　62
3.7.2　嵌入式SQL的工作原理　63
3.7.3　動態(tài)SQL簡介　67
3.8　Transact-SQL簡介　68
本章小結　69
習題三　69

第4章　關系系統(tǒng)及查詢優(yōu)化　73
4.1　關系系統(tǒng)的定義及分類　73
4.2　關系系統(tǒng)中的查詢優(yōu)化　75
4.2.1　一個優(yōu)化實例　75
4.2.2　關系代數(shù)表達式中的查詢優(yōu)化　77
4.2.3　查詢優(yōu)化的算法　79
本章小結　80
習題四　80

第5章　關系規(guī)范化設計理論　83
5.1　數(shù)據(jù)庫設計的基本問題　83
5.2　規(guī)范化理論　85
5.2.1　函數(shù)依賴　85
5.2.2　碼　86
5.2.3　范式　87
5.2.4　2NF　88
5.2.5　3NF　89
5.2.6　BCNF　90
5.2.7　多值依賴　90
5.2.8　4NF　92
5.3　數(shù)據(jù)依賴的公理系統(tǒng)　93
5.3.1　Armstrong公理系統(tǒng)　93
5.3.2　函數(shù)依賴的閉包F+及屬性的閉包XF+　94
5.3.3　函數(shù)依賴集的等價和最小依賴集　95
5.4　關系模式的分解　98
5.4.1　無損連接的模式分解　99
5.4.2　保持函數(shù)依賴分解　100
5.4.3　模式分解的算法　100
本章小結　101
習題五　102

第6章　數(shù)據(jù)庫設計　104
6.1　數(shù)據(jù)庫設計概述　104
6.1.1　數(shù)據(jù)庫設計方法簡述　105
6.1.2　數(shù)據(jù)庫設計的基本步驟　106
6.2　需求分析　108
6.2.1　需求分析方法　108
6.2.2　數(shù)據(jù)流圖　109
6.2.3　數(shù)據(jù)字典　110
6.3　概念結構設計　112
6.3.1　概念結構設計方法　113
6.3.2　視圖設計　114
6.3.3　視圖的集成　116
6.3.4　EE-R模型　119
6.4　邏輯結構設計　121
6.4.1　E-R圖向關系模型的轉化　121
6.4.2　EE-R圖向關系模型的轉化　122
6.4.3　數(shù)據(jù)模型的優(yōu)化　124
6.4.4　用戶模式的設計　125
6.4.5　邏輯結構的生成和圖示　125
6.5　物理結構設計　126
6.5.1　索引設計　127
6.5.2　聚簇存取方法的選擇　128
6.5.3　確定數(shù)據(jù)庫的存儲結構　128
6.5.4　物理結構設計的評價　129
6.6　數(shù)據(jù)庫的實施　129
6.6.1　定義數(shù)據(jù)庫結構　130
6.6.2　數(shù)據(jù)裝載　130
6.6.3　編制與調試應用程序　130
6.6.4　數(shù)據(jù)庫試運行　130
6.7　數(shù)據(jù)庫的運行和維護　131
本章小結　132
習題六　132

第7章　系統(tǒng)實現(xiàn)技術　134
7.1　事務　134
7.1.1　事務的基本概念　134
7.1.2　事務的ACID性質　135
7.2　數(shù)據(jù)庫的并發(fā)控制　136
7.2.1　并發(fā)控制概述　136
7.2.2　封鎖與封鎖協(xié)議　138
7.2.3　活鎖與死鎖　140
7.2.4　可串行性調度與兩段鎖協(xié)議　141
7.2.5　封鎖的粒度　143
7.2.6　封鎖的粒度　144
7.2.7　SQL Server的并發(fā)控制技術　145
7.3　數(shù)據(jù)庫的恢復　146
7.3.1　故障類型　146
7.3.2　恢復的實現(xiàn)技術　147
7.3.3　恢復的策略　149
7.3.4　具有檢查點的恢復技術　150
7.3.5　數(shù)據(jù)庫鏡像　152
7.3.6　SQL Server的恢復技術　152
7.4　數(shù)據(jù)庫的完整性　153
7.4.1　完整性約束條件　153
7.4.2　完整性控制　155
7.4.3　完整性約束與觸發(fā)器　155
7.4.4　SQL Server的完整性技術　155
7.5　數(shù)據(jù)庫的安全性　156
7.5.1　計算機安全性概論　156
7.5.2　數(shù)據(jù)庫安全性控制　157
7.5.3　統(tǒng)計數(shù)據(jù)庫的安全性　158
7.5.4　SQL Server的安全性技術　158
本章小結　159
習題七　160

第8章　對象數(shù)據(jù)庫系統(tǒng)　161
8.1　面向對象數(shù)據(jù)模型　161
8.1.1　數(shù)據(jù)模型的發(fā)展　161
8.1.2　面向對象數(shù)據(jù)模型的基本概念　162
8.1.3　面向對象數(shù)據(jù)模型　163
8.2　面向對象數(shù)據(jù)庫語言　164
8.2.1　SQL-3語言　164
8.2.2　OQL/ODL語言　167
8.2.3　ORDB和OODB兩種面向對象語言的比較　170
本章小結　170
習題八　170

第9章　分布式數(shù)據(jù)庫系統(tǒng)　172
9.1　分布式數(shù)據(jù)庫概述　172
9.1.1　分布式數(shù)據(jù)庫系統(tǒng)的定義　172
9.1.2　分布式數(shù)據(jù)庫系統(tǒng)的特點　173
9.1.3　分布式數(shù)據(jù)庫系統(tǒng)的分類　173
9.2　分布式數(shù)據(jù)庫體系結構　174
9.2.1　分布式數(shù)據(jù)庫系統(tǒng)的模式結構　174
9.2.2　分布式數(shù)據(jù)庫管理系統(tǒng)　175
9.2.3　數(shù)據(jù)分片　175
9.2.4　分布透明性　175
9.3　查詢和優(yōu)化　176
9.3.1　查詢的簡化　176
9.3.2　連接查詢的優(yōu)化　176
9.4　分布事務管理　178
9.4.1　分布式事務的恢復　178
9.4.2　并發(fā)控制　179
本章小結　179
習題九　179

第10章　數(shù)據(jù)庫新技術　181
10.1　數(shù)據(jù)庫的新應用　181
10.1.1　數(shù)據(jù)模型及其新特征　181
10.1.2　現(xiàn)代數(shù)據(jù)庫應用領域　183
10.2　數(shù)據(jù)庫新技術的研究和發(fā)展　190
10.2.1　數(shù)據(jù)庫技術的發(fā)展階段　190
10.2.2　數(shù)據(jù)庫新技術的研究和發(fā)展　191
本章小結　193
習題十　194

實驗指導　195
實驗一　認識和熟悉DBMS系統(tǒng)(2學時)　195
實驗二　交互式SQL語言(4學時)　198
實驗三　SQL的查詢優(yōu)化(2學時)　199
實驗四　宿主語言操縱數(shù)據(jù)庫(2學時)　199
實驗五　編寫簡單的數(shù)據(jù)庫應用系統(tǒng)(10學時)　204

參考文獻　206