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

第1章　數(shù)據(jù)庫系統(tǒng)基本概念        1
1.1　數(shù)據(jù)庫系統(tǒng)應(yīng)用實(shí)例        1
1.2　數(shù)據(jù)庫系統(tǒng)的組成        4
1.2.1  數(shù)據(jù)庫        4
1.2.2  數(shù)據(jù)庫管理系統(tǒng)        6
1.2.3  數(shù)據(jù)庫應(yīng)用程序        6
1.2.4  用戶        7
1.3　數(shù)據(jù)管理技術(shù)        7
1.3.1  文件系統(tǒng)階段        7
1.3.2  數(shù)據(jù)庫系統(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ù)語        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ù)庫        17
2.2　關(guān)系模型的數(shù)據(jù)完整性        17
2.2.1　實(shí)體完整性規(guī)則        17
2.2.2　參照完整性規(guī)則        18
2.2.3　用戶自定義完整性規(guī)則        20
2.3　關(guān)系模型的數(shù)據(jù)操作—關(guān)系代數(shù)        20
2.3.1　傳統(tǒng)的集合運(yùn)算        20
2.3.2　專門的關(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ù)庫語言SQL        33
3.1　SQL概述        33
3.2　數(shù)據(jù)定義        35
3.2.1  定義數(shù)據(jù)庫        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ù)查詢        42
3.3.1  查詢語句基本結(jié)構(gòu)        43
3.3.2  單表查詢        44
3.3.3  多表連接查詢        52
3.3.4  子查詢        57
3.3.5  組合查詢        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簡介        77
4.1.1  SQL Server 2000的安裝與配置        78
4.1.2  SQL Server 2000程序組和實(shí)用工具簡介        82
4.1.3  SQL Server 2000 系統(tǒng)數(shù)據(jù)庫簡介        84
4.1.4  SQL Server 2000 系統(tǒng)表簡介        85
4.2　SQL Server 2000的服務(wù)器的使用        85
4.2.1  服務(wù)器的啟動與停止        85
4.2.2  服務(wù)器的連接和斷開        87
4.3　SQL Server 2000的企業(yè)管理器的使用        87
4.3.1  企業(yè)管理器的啟動與關(guān)閉        87
4.3.2  數(shù)據(jù)庫的創(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的查詢分析器的使用        101
4.4.1  查詢分析器的啟動與關(guān)閉        102
4.4.2  執(zhí)行SQL語句        103
4.4.3  查詢結(jié)果的顯示模式        105
4.4.4  創(chuàng)建和運(yùn)行腳本文件        105
4.4.5  查詢分析器的常用快捷鍵        108
4.5　本章小結(jié)        109
4.6　習(xí)題        110
第5章　數(shù)據(jù)庫設(shè)計(jì)        111
5.1　實(shí)體－聯(lián)系模型的元素        111
5.1.1  實(shí)體        112
5.1.2  屬性        112
5.1.3  標(biāo)識符        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　超類實(shí)體與子類實(shí)體        124
5.4　實(shí)體－聯(lián)系模型的轉(zhuǎn)換規(guī)則總結(jié)        127
5.5　數(shù)據(jù)庫邏輯設(shè)計(jì)實(shí)例        127
5.5.1  學(xué)生選課子系統(tǒng)        127
5.5.2  學(xué)生圖書借閱管理子系統(tǒng)        129
5.6　數(shù)據(jù)庫物理設(shè)計(jì)        131
5.7　本章小結(jié)        132
5.8　習(xí)題        132
第6章　規(guī)范化        135
6.1　關(guān)系模型術(shù)語回顧        135
6.2　函數(shù)依賴        137
6.3　規(guī)范化        140
6.3.1  非規(guī)范化的關(guān)系        140
6.3.2  最低程度的規(guī)范化關(guān)系的異常分析        141
6.3.3  范式類型        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ù)庫的安全與保護(hù)        153
7.1　數(shù)據(jù)庫安全控制機(jī)制        153
7.1.1  安全控制模型        153
7.1.2  數(shù)據(jù)庫用戶及權(quán)限        154
7.1.3  SQL Server 2000用戶與權(quán)限管理        154
7.2　數(shù)據(jù)庫備份機(jī)制        167
7.2.1  為什么要進(jìn)行數(shù)據(jù)庫備份        167
7.2.2  SQL Server 2000數(shù)據(jù)庫備份的種類        167
7.2.3  SQL Server 2000數(shù)據(jù)庫備份的方法        168
7.3　數(shù)據(jù)庫恢復(fù)機(jī)制        174
7.3.1  為什么要進(jìn)行數(shù)據(jù)庫恢復(fù)        174
7.3.2  SQL Server 2000數(shù)據(jù)庫恢復(fù)的種類        174
7.3.3  SQL Server 2000數(shù)據(jù)庫恢復(fù)的方法        175
7.4　本章小結(jié)        178
7.5　習(xí)題        178
附錄A  SQL參考上機(jī)實(shí)驗(yàn)        181
實(shí)驗(yàn)1  用企業(yè)管理器建立數(shù)據(jù)庫和表        181
實(shí)驗(yàn)2  用SQL DDL創(chuàng)建數(shù)據(jù)庫和表        181
實(shí)驗(yàn)3  數(shù)據(jù)庫的簡單查詢實(shí)驗(yàn)        182
實(shí)驗(yàn)4  數(shù)據(jù)庫的多表連接查詢實(shí)驗(yàn)        183
實(shí)驗(yàn)5  數(shù)據(jù)庫的子查詢、組合查詢實(shí)驗(yàn)        184
實(shí)驗(yàn)6  數(shù)據(jù)庫的更新實(shí)驗(yàn)        184
實(shí)驗(yàn)7  數(shù)據(jù)庫的視圖定義及使用實(shí)驗(yàn)        185
實(shí)驗(yàn)8  數(shù)據(jù)庫的安全與保護(hù)操作實(shí)驗(yàn)        185
附錄B  學(xué)生選課數(shù)據(jù)庫設(shè)計(jì)完整文檔        187
B.1  學(xué)生選課子系統(tǒng)的需求說明        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