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

目　錄

第1章　緒論　1
1.1　數(shù)據(jù)庫(kù)與數(shù)據(jù)庫(kù)系統(tǒng)引言　1
1.1.1　數(shù)據(jù)、信息與知識(shí)　2
1.1.2　數(shù)據(jù)處理與數(shù)據(jù)管理　2
1.1.3　數(shù)據(jù)庫(kù)技術(shù)的基本概念　3
1.2　數(shù)據(jù)管理技術(shù)的演變　4
1.2.1　人工管理階段(20世紀(jì)40年代中期—50年代中期)　4
1.2.2　文件系統(tǒng)階段(20世紀(jì)50年代后期—60年代中后期)　4
1.2.3　數(shù)據(jù)庫(kù)技術(shù)階段　5
1.3　數(shù)據(jù)描述與數(shù)據(jù)模型　6
1.3.1　三級(jí)世界的劃分　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　關(guān)系模型　12
1.4.5　面向?qū)ο竽Ｐ汀?3
1.5　數(shù)據(jù)庫(kù)系統(tǒng)結(jié)構(gòu)　13
1.5.1　數(shù)據(jù)庫(kù)三級(jí)模式結(jié)構(gòu)　14
1.5.2　數(shù)據(jù)庫(kù)二級(jí)映象功能與數(shù)據(jù)獨(dú)立性　15
1.5.3　數(shù)據(jù)庫(kù)系統(tǒng)組成　15
本章小結(jié)　17
習(xí)題一　17

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

第3章　關(guān)系數(shù)據(jù)庫(kù)標(biāo)準(zhǔn)語(yǔ)言SQL　32
3.1　SQL概述　32
3.1.1　SQL的產(chǎn)生與發(fā)展　32
3.1.2　SQL數(shù)據(jù)庫(kù)的體系結(jié)構(gòu)　33
3.1.3　SQL的特點(diǎn)　34
3.2　數(shù)據(jù)定義　36
3.2.1　基本表的定義、刪除與修改　36
3.2.2　索引的建立與刪除　38
3.3　SQL數(shù)據(jù)查詢　38
3.3.1　SELECT查詢語(yǔ)句　38
3.3.2　單表查詢　40
3.3.3　連接查詢　45
3.3.4　嵌套查詢　47
3.3.5　集合查詢　52
3.4　數(shù)據(jù)更新語(yǔ)句　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　動(dòng)態(tài)SQL簡(jiǎn)介　67
3.8　Transact-SQL簡(jiǎn)介　68
本章小結(jié)　69
習(xí)題三　69

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

第5章　關(guān)系規(guī)范化設(shè)計(jì)理論　83
5.1　數(shù)據(jù)庫(kù)設(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ù)依賴集的等價(jià)和最小依賴集　95
5.4　關(guān)系模式的分解　98
5.4.1　無(wú)損連接的模式分解　99
5.4.2　保持函數(shù)依賴分解　100
5.4.3　模式分解的算法　100
本章小結(jié)　101
習(xí)題五　102

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

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

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

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

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

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

參考文獻(xiàn)　206