數(shù)據(jù)庫(kù)原理及應(yīng)用案例教程

第1章　數(shù)據(jù)庫(kù)系統(tǒng)基本概念        1
1.1　數(shù)據(jù)庫(kù)系統(tǒng)應(yīng)用實(shí)例        1
1.2　數(shù)據(jù)庫(kù)系統(tǒng)的組成        4
1.2.1  數(shù)據(jù)庫(kù)        4
1.2.2  數(shù)據(jù)庫(kù)管理系統(tǒng)        6
1.2.3  數(shù)據(jù)庫(kù)應(yīng)用程序        6
1.2.4  用戶(hù)        7
1.3　數(shù)據(jù)管理技術(shù)        7
1.3.1  文件系統(tǒng)階段        7
1.3.2  數(shù)據(jù)庫(kù)系統(tǒng)階段        9
1.3.3  數(shù)據(jù)獨(dú)立性        10
1.4　本章小結(jié)        12
1.5　習(xí)題        12
第2章　關(guān)系模型        13
2.1　關(guān)系模型的數(shù)據(jù)結(jié)構(gòu)        13
2.1.1　關(guān)系的基本術(shù)語(yǔ)        13
2.1.2　關(guān)系的性質(zhì)        14
2.1.3　關(guān)系的候選鍵與主鍵        15
2.1.4　關(guān)系模式        16
2.1.5　關(guān)系數(shù)據(jù)庫(kù)        17
2.2　關(guān)系模型的數(shù)據(jù)完整性        17
2.2.1　實(shí)體完整性規(guī)則        17
2.2.2　參照完整性規(guī)則        18
2.2.3　用戶(hù)自定義完整性規(guī)則        20
2.3　關(guān)系模型的數(shù)據(jù)操作—關(guān)系代數(shù)        20
2.3.1　傳統(tǒng)的集合運(yùn)算        20
2.3.2　專(zhuān)門(mén)的關(guān)系運(yùn)算        23
2.4　關(guān)系代數(shù)綜合實(shí)例        26
2.5　本章小結(jié)        30
2.6　習(xí)題        30
第3章　關(guān)系數(shù)據(jù)庫(kù)語(yǔ)言SQL        33
3.1　SQL概述        33
3.2　數(shù)據(jù)定義        35
3.2.1  定義數(shù)據(jù)庫(kù)        35
3.2.2  定義表結(jié)構(gòu)        36
3.2.3  修改表結(jié)構(gòu)        40
3.2.4  刪除表結(jié)構(gòu)        41
3.3　數(shù)據(jù)查詢(xún)        42
3.3.1  查詢(xún)語(yǔ)句基本結(jié)構(gòu)        43
3.3.2  單表查詢(xún)        44
3.3.3  多表連接查詢(xún)        52
3.3.4  子查詢(xún)        57
3.3.5  組合查詢(xún)        63
3.4　數(shù)據(jù)更新        66
3.4.1  插入數(shù)據(jù)        66
3.4.2  修改數(shù)據(jù)        68
3.4.3  刪除數(shù)據(jù)        69
3.5　視圖        69
3.5.1  視圖的基本概念        69
3.5.2  視圖的創(chuàng)建與使用        71
3.6　本章小結(jié)        73
3.7　習(xí)題        73
第4章　SQL Server 2000        77
4.1　SQL Server 2000簡(jiǎn)介        77
4.1.1  SQL Server 2000的安裝與配置        78
4.1.2  SQL Server 2000程序組和實(shí)用工具簡(jiǎn)介        82
4.1.3  SQL Server 2000 系統(tǒng)數(shù)據(jù)庫(kù)簡(jiǎn)介        84
4.1.4  SQL Server 2000 系統(tǒng)表簡(jiǎn)介        85
4.2　SQL Server 2000的服務(wù)器的使用        85
4.2.1  服務(wù)器的啟動(dòng)與停止        85
4.2.2  服務(wù)器的連接和斷開(kāi)        87
4.3　SQL Server 2000的企業(yè)管理器的使用        87
4.3.1  企業(yè)管理器的啟動(dòng)與關(guān)閉        87
4.3.2  數(shù)據(jù)庫(kù)的創(chuàng)建與管理        88
4.3.3  表的創(chuàng)建與管理        91
4.3.4  約束的創(chuàng)建與管理        95
4.3.5  輸入、修改、刪除數(shù)據(jù)        100
4.4　SQL Server 2000的查詢(xún)分析器的使用        101
4.4.1  查詢(xún)分析器的啟動(dòng)與關(guān)閉        102
4.4.2  執(zhí)行SQL語(yǔ)句        103
4.4.3  查詢(xún)結(jié)果的顯示模式        105
4.4.4  創(chuàng)建和運(yùn)行腳本文件        105
4.4.5  查詢(xún)分析器的常用快捷鍵        108
4.5　本章小結(jié)        109
4.6　習(xí)題        110
第5章　數(shù)據(jù)庫(kù)設(shè)計(jì)        111
5.1　實(shí)體－聯(lián)系模型的元素        111
5.1.1  實(shí)體        112
5.1.2  屬性        112
5.1.3  標(biāo)識(shí)符        113
5.1.4  聯(lián)系        113
5.2　實(shí)體－聯(lián)系模型轉(zhuǎn)換為關(guān)系模型        117
5.2.1  實(shí)體的轉(zhuǎn)換        117
5.2.2  聯(lián)系的轉(zhuǎn)換        118
5.2.3  弱實(shí)體與轉(zhuǎn)換        123
5.3　超類(lèi)實(shí)體與子類(lèi)實(shí)體        124
5.4　實(shí)體－聯(lián)系模型的轉(zhuǎn)換規(guī)則總結(jié)        127
5.5　數(shù)據(jù)庫(kù)邏輯設(shè)計(jì)實(shí)例        127
5.5.1  學(xué)生選課子系統(tǒng)        127
5.5.2  學(xué)生圖書(shū)借閱管理子系統(tǒng)        129
5.6　數(shù)據(jù)庫(kù)物理設(shè)計(jì)        131
5.7　本章小結(jié)        132
5.8　習(xí)題        132
第6章　規(guī)范化        135
6.1　關(guān)系模型術(shù)語(yǔ)回顧        135
6.2　函數(shù)依賴(lài)        137
6.3　規(guī)范化        140
6.3.1  非規(guī)范化的關(guān)系        140
6.3.2  最低程度的規(guī)范化關(guān)系的異常分析        141
6.3.3  范式類(lèi)型        143
6.3.4  第一范式（1NF）        143
6.3.5  第二范式（2NF）        144
6.3.6  第三范式（3NF）        146
6.3.7  BC范式（BCNF）        147
6.4　規(guī)范化的本質(zhì)分析與總結(jié)        149
6.5　本章小結(jié)        151
6.6　習(xí)題        151
第7章　數(shù)據(jù)庫(kù)的安全與保護(hù)        153
7.1　數(shù)據(jù)庫(kù)安全控制機(jī)制        153
7.1.1  安全控制模型        153
7.1.2  數(shù)據(jù)庫(kù)用戶(hù)及權(quán)限        154
7.1.3  SQL Server 2000用戶(hù)與權(quán)限管理        154
7.2　數(shù)據(jù)庫(kù)備份機(jī)制        167
7.2.1  為什么要進(jìn)行數(shù)據(jù)庫(kù)備份        167
7.2.2  SQL Server 2000數(shù)據(jù)庫(kù)備份的種類(lèi)        167
7.2.3  SQL Server 2000數(shù)據(jù)庫(kù)備份的方法        168
7.3　數(shù)據(jù)庫(kù)恢復(fù)機(jī)制        174
7.3.1  為什么要進(jìn)行數(shù)據(jù)庫(kù)恢復(fù)        174
7.3.2  SQL Server 2000數(shù)據(jù)庫(kù)恢復(fù)的種類(lèi)        174
7.3.3  SQL Server 2000數(shù)據(jù)庫(kù)恢復(fù)的方法        175
7.4　本章小結(jié)        178
7.5　習(xí)題        178
附錄A  SQL參考上機(jī)實(shí)驗(yàn)        181
實(shí)驗(yàn)1  用企業(yè)管理器建立數(shù)據(jù)庫(kù)和表        181
實(shí)驗(yàn)2  用SQL DDL創(chuàng)建數(shù)據(jù)庫(kù)和表        181
實(shí)驗(yàn)3  數(shù)據(jù)庫(kù)的簡(jiǎn)單查詢(xún)實(shí)驗(yàn)        182
實(shí)驗(yàn)4  數(shù)據(jù)庫(kù)的多表連接查詢(xún)實(shí)驗(yàn)        183
實(shí)驗(yàn)5  數(shù)據(jù)庫(kù)的子查詢(xún)、組合查詢(xún)實(shí)驗(yàn)        184
實(shí)驗(yàn)6  數(shù)據(jù)庫(kù)的更新實(shí)驗(yàn)        184
實(shí)驗(yàn)7  數(shù)據(jù)庫(kù)的視圖定義及使用實(shí)驗(yàn)        185
實(shí)驗(yàn)8  數(shù)據(jù)庫(kù)的安全與保護(hù)操作實(shí)驗(yàn)        185
附錄B  學(xué)生選課數(shù)據(jù)庫(kù)設(shè)計(jì)完整文檔        187
B.1  學(xué)生選課子系統(tǒng)的需求說(shuō)明        187
B.2  概念模型        187
B.3  邏輯模型        187
B.4  創(chuàng)建StudentsInfo的腳本文件        187
B.5  創(chuàng)建StudentsInfo中各個(gè)表的腳本文件        188
B.6  創(chuàng)建StudentsInfo中各個(gè)表主鍵的腳本文件        189
B.7  創(chuàng)建Enrollment表外鍵的腳本文件        191
B.8  裝入StudentsInfo模擬數(shù)據(jù)的腳本文件        192
參考文獻(xiàn)        193