數(shù)據(jù)庫原理學(xué)習(xí)與實(shí)驗(yàn)指導(dǎo)

緒論: 課程的教與學(xué)10.1課程性質(zhì)與目標(biāo)1
0.2課程特點(diǎn)1
0.3課程基本內(nèi)容1
0.4課程基本要求2
0.5課程講授方法2
0.5.1注重自身專業(yè)發(fā)展2
0.5.2激發(fā)興趣3
0.5.3富有耐心4
0.5.4注重開端4
0.5.5優(yōu)化內(nèi)容體系4
0.6課程學(xué)習(xí)方法5
0.6.1態(tài)度第一5
0.6.2動手動腦5
0.6.3掌握方法5
第1章數(shù)據(jù)庫概論7
1.1數(shù)據(jù)管理技術(shù)的發(fā)展7
1.1.1人工管理階段7
1.1.2文件系統(tǒng)階段8
1.1.3數(shù)據(jù)庫系統(tǒng)階段8
1.2數(shù)據(jù)描述8
1.2.1數(shù)據(jù)描述的三個領(lǐng)域8
1.2.2概念的內(nèi)涵和處延9
1.2.3物理存儲介質(zhì)層次與存儲器中的數(shù)據(jù)描述9
1.2.4數(shù)據(jù)聯(lián)系的描述9
1.3數(shù)據(jù)模型10
1.3.1數(shù)據(jù)模型的概念10
1.3.2概念數(shù)據(jù)模型(實(shí)體聯(lián)系模型)10
1.3.3結(jié)構(gòu)數(shù)據(jù)模型11
1.3.4面向?qū)ο髷?shù)據(jù)模型11
1.4數(shù)據(jù)庫的體系結(jié)構(gòu)12
1.4.1三級結(jié)構(gòu)的概念12
1.4.2兩級映像的概念12
1.4.3兩級數(shù)據(jù)獨(dú)立性13
1.4.4用戶、用戶界面13
1.5數(shù)據(jù)庫管理系統(tǒng)13
1.5.1DBMS的功能13
1.5.2DBMS的組成14
1.5.3用戶訪問數(shù)據(jù)庫的過程14
1.6數(shù)據(jù)庫系統(tǒng)15
1.6.1DBS的組成15
1.6.2DBS的全局結(jié)構(gòu)15
1.6.3DBS的效益16
數(shù)據(jù)庫原理學(xué)習(xí)與實(shí)驗(yàn)指導(dǎo)目錄第2章關(guān)系數(shù)據(jù)庫17
2.1關(guān)系模型基本概念17
2.1.1關(guān)系模型的基本術(shù)語17
2.1.2關(guān)系模型18
2.1.3關(guān)系模型的形式定義18
2.1.4三類數(shù)據(jù)完整性約束18
2.2關(guān)系代數(shù)18
2.2.1關(guān)系代數(shù)的五個基本操作19
2.2.2關(guān)系代數(shù)的組合操作19
2.2.3關(guān)系代數(shù)表達(dá)式20
2.2.4擴(kuò)充的關(guān)系代數(shù)操作20
2.3關(guān)系演算20
2.3.1元組關(guān)系演算20
2.3.2域關(guān)系演算21
2.3.3三類關(guān)系運(yùn)算的安全性和完整性21
2.4查詢優(yōu)化22
2.4.1關(guān)系代數(shù)表達(dá)式的優(yōu)化問題22
2.4.2關(guān)系代數(shù)運(yùn)算的等價變換22
2.4.3優(yōu)化策略22
2.4.4關(guān)系代數(shù)表達(dá)式的優(yōu)化22
第3章關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL23
3.1SQL概述23
3.1.1SQL的發(fā)展歷程23
3.1.2SQL數(shù)據(jù)庫的體系結(jié)構(gòu)24
3.1.3SQL的組成24
3.2SQL的數(shù)據(jù)定義24
3.2.1SQL數(shù)據(jù)定義語句24
3.2.2SQL的基本數(shù)據(jù)類型25
3.2.3基本表的創(chuàng)建、修改和撤銷25
3.2.4視圖的創(chuàng)建和撤銷25
3.2.5索引的創(chuàng)建和撤銷26
3.3SQL的數(shù)據(jù)查詢26
3.3.1SELECT語句的基本句法26
3.3.2SELECT語句的完整句法27
3.3.3SELECT語句中的各種限定28
3.4SQL的數(shù)據(jù)更新28
3.4.1INSERT插入語句28
3.4.2DELETE刪除語句29
3.4.3UPDATE修改語句29
3.4.4對視圖的更新操作規(guī)則30
3.5嵌入式SQL30
3.5.1SQL運(yùn)行環(huán)境30
3.5.2嵌入式SQL的使用30
3.5.3嵌入式SQL的使用技術(shù)31
第4章關(guān)系數(shù)據(jù)理論33
4.1關(guān)系模式的設(shè)計問題33
4.1.1關(guān)系模式的外延和內(nèi)涵33
4.2函數(shù)依賴FD33
4.2.1FD的定義33
4.2.2函數(shù)依賴的類型34
4.2.3FD的邏輯蘊(yùn)涵，F(xiàn)D集的閉包F+34
4.2.4鍵和FD的聯(lián)系34
4.2.5FD的推理規(guī)則34
4.2.6FD推理規(guī)則的完備性35
4.2.7屬性集閉包的計算35
4.2.8FD集的等價和覆蓋35
4.3關(guān)系模式的分解特性35
4.3.1模式分解中存在的問題35
4.3.2無損連接36
4.3.3無損連接的測試方法36
4.3.4保持FD的分解36
4.4關(guān)系模式的范式37
4.4.1范式的定義37
4.4.2分解成BCNF模式集的算法37
4.4.3分解成3NF模式集的算法37
4.4.4模式設(shè)計方法的原則38
4.4.5多值依賴及4NF38
4.4.6關(guān)系模式規(guī)范化過程38
第5章數(shù)據(jù)庫設(shè)計39
5.1數(shù)據(jù)庫設(shè)計概述40
5.1.1軟件生存期及各階段的工作40
5.1.2數(shù)據(jù)庫系統(tǒng)生存期40
5.1.3數(shù)據(jù)庫設(shè)計過程的輸入和輸出41
5.1.4數(shù)據(jù)庫設(shè)計方法學(xué)41
5.1.5數(shù)據(jù)庫設(shè)計的步驟42
5.2規(guī)劃階段的任務(wù)和工作42
5.3需求分析43
5.3.1需求分析的重要性43
5.3.2需求分析階段的輸入和輸出43
5.3.3需求分析的步驟43
5.3.4數(shù)據(jù)字典43
5.4概念設(shè)計44
5.4.1概念設(shè)計的必要性44
5.4.2對概念模型的要求44
5.4.3概念設(shè)計的步驟44
5.4.4數(shù)據(jù)抽象45
5.4.5E?R模型的操作45
5.4.6采用E?R方法的概念設(shè)計步驟45
5.5邏輯設(shè)計46
5.5.1邏輯設(shè)計的輸入輸出46
5.5.2邏輯設(shè)計的過程46
5.5.3E?R模型向關(guān)系模型的轉(zhuǎn)換47
5.5.4關(guān)系數(shù)據(jù)庫的邏輯設(shè)計步驟47
5.6物理設(shè)計48
5.6.1物理設(shè)計的步驟48
5.6.2物理設(shè)計的輸入輸出48
5.6.3物理設(shè)計的性能48
5.7實(shí)現(xiàn)與維護(hù)49
5.7.1數(shù)據(jù)庫實(shí)現(xiàn)階段的工作49
5.7.2其他有關(guān)的設(shè)計工作49
5.7.3運(yùn)行與維護(hù)階段的工作49
第6章數(shù)據(jù)庫保護(hù)50
6.1數(shù)據(jù)庫的恢復(fù)50
6.1.1事務(wù)的概念50
6.1.2事務(wù)的四個性質(zhì)50
6.1.3故障的種類及恢復(fù)方法51
6.1.4恢復(fù)的基本原則和實(shí)現(xiàn)方法51
6.1.5運(yùn)行記錄優(yōu)先原則51
6.2數(shù)據(jù)庫的并發(fā)控制51
6.2.1并發(fā)控制帶來的三類問題51
6.2.2排他型封鎖、PX協(xié)議與PXC協(xié)議52
6.2.3活鎖和死鎖52
6.2.4共享型封鎖、PS協(xié)議與PSC協(xié)議53
6.2.5兩段封鎖法53
6.3數(shù)據(jù)庫的完整性53
6.3.1完整性子系統(tǒng)的功能53
6.3.2完整性的組成和分類54
6.3.3SQL中的完整性約束54
6.4數(shù)據(jù)庫的安全性55
6.4.1安全性級別55
6.4.2權(quán)限的種類55
6.4.3權(quán)限的轉(zhuǎn)授與回收55
6.4.4SQL中的安全性控制56
6.4.5數(shù)據(jù)加密法56
6.4.6自然環(huán)境的安全性56
第7章分布式數(shù)據(jù)庫系統(tǒng)57
7.1分布式數(shù)據(jù)庫系統(tǒng)概述57
7.1.1集中式系統(tǒng)與分布式系統(tǒng)57
7.1.2分布式數(shù)據(jù)庫系統(tǒng)57
7.1.3分布式數(shù)據(jù)庫系統(tǒng)的透明性58
7.1.4分布式數(shù)據(jù)庫系統(tǒng)的優(yōu)缺點(diǎn)58
7.1.5分布式數(shù)據(jù)庫系統(tǒng)的分類58
7.2分布式數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu)58
7.2.1分布式數(shù)據(jù)存儲58
7.2.2分布式數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu)59
7.2.3分布透明性59
7.2.4分布式數(shù)據(jù)庫管理系統(tǒng)(DDBMS)的功能及組成59
7.2.5分布式數(shù)據(jù)庫系統(tǒng)中存在的問題60
7.3分布式查詢處理60
7.3.1查詢處理的傳輸代價60
7.3.2基于半聯(lián)接的查詢優(yōu)化策略60
7.3.3基于聯(lián)接的查詢優(yōu)化策略60
7.4客戶/服務(wù)器結(jié)構(gòu)的分布式系統(tǒng)61
7.4.1客戶/服務(wù)器式DBS61
7.4.2典型的客戶/服務(wù)器結(jié)構(gòu)的分布式DBS61
第8章具有面向?qū)ο筇卣鞯臄?shù)據(jù)庫系統(tǒng)62
8.1對象聯(lián)系圖62
8.1.1從關(guān)系到嵌套關(guān)系、復(fù)合對象62
8.1.2對象聯(lián)系圖62
8.1.3數(shù)據(jù)的泛化/細(xì)化62
8.2對象關(guān)系數(shù)據(jù)庫63
8.2.1ORDB的定義語言63
8.2.2ORDB的查詢語言63
8.3面向?qū)ο髷?shù)據(jù)庫63
8.3.1面對對象數(shù)據(jù)模型63
8.3.2持久化程序設(shè)計語言64
第9章關(guān)系運(yùn)算65
第10章候選碼及范式等級的求解70
10.1候選碼的求解理論和算法70
10.2多屬性依賴集候選碼求解方法70
第11章E?R模型與關(guān)系模型設(shè)計74
第12章基礎(chǔ)實(shí)驗(yàn)86
實(shí)驗(yàn)1數(shù)據(jù)庫的創(chuàng)建與管理89
實(shí)驗(yàn)2數(shù)據(jù)表的創(chuàng)建與管理94
實(shí)驗(yàn)3數(shù)據(jù)庫的基本查詢101
實(shí)驗(yàn)4數(shù)據(jù)庫的綜合查詢107
實(shí)驗(yàn)5視圖的創(chuàng)建及應(yīng)用113
實(shí)驗(yàn)6索引的創(chuàng)建及應(yīng)用119
實(shí)驗(yàn)7數(shù)據(jù)庫完整性123
實(shí)驗(yàn)8數(shù)據(jù)庫安全性128
實(shí)驗(yàn)9T?SQL語言程序設(shè)計134
實(shí)驗(yàn)10存儲過程的創(chuàng)建及應(yīng)用141
實(shí)驗(yàn)11觸發(fā)器的創(chuàng)建及應(yīng)用147
實(shí)驗(yàn)12游標(biāo)及事務(wù)的應(yīng)用153
第13章綜合性實(shí)驗(yàn)161
實(shí)驗(yàn)13SQL程序設(shè)計綜合161
附錄AJXGL數(shù)據(jù)庫各數(shù)據(jù)表數(shù)據(jù)實(shí)例175
附錄BSQL Server基本數(shù)據(jù)類型178
附錄C常用函數(shù)182
附錄D常用系統(tǒng)存儲過程189
附錄E配置ODBC所需的函數(shù)192
參考文獻(xiàn)193