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

第1章　數(shù)據(jù)庫系統(tǒng)基本概念        1
1.1　數(shù)據(jù)庫系統(tǒng)應(yīng)用實例        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ù)獨立性        10
1.4　本章小結(jié)        12
1.5　習題        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　實體完整性規(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)的集合運算        20
2.3.2　專門的關(guān)系運算        23
2.4　關(guān)系代數(shù)綜合實例        26
2.5　本章小結(jié)        30
2.6　習題        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　習題        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程序組和實用工具簡介        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)建和運行腳本文件        105
4.4.5  查詢分析器的常用快捷鍵        108
4.5　本章小結(jié)        109
4.6　習題        110
第5章　數(shù)據(jù)庫設(shè)計        111
5.1　實體－聯(lián)系模型的元素        111
5.1.1  實體        112
5.1.2  屬性        112
5.1.3  標識符        113
5.1.4  聯(lián)系        113
5.2　實體－聯(lián)系模型轉(zhuǎn)換為關(guān)系模型        117
5.2.1  實體的轉(zhuǎn)換        117
5.2.2  聯(lián)系的轉(zhuǎn)換        118
5.2.3  弱實體與轉(zhuǎn)換        123
5.3　超類實體與子類實體        124
5.4　實體－聯(lián)系模型的轉(zhuǎn)換規(guī)則總結(jié)        127
5.5　數(shù)據(jù)庫邏輯設(shè)計實例        127
5.5.1  學(xué)生選課子系統(tǒng)        127
5.5.2  學(xué)生圖書借閱管理子系統(tǒng)        129
5.6　數(shù)據(jù)庫物理設(shè)計        131
5.7　本章小結(jié)        132
5.8　習題        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　習題        151
第7章　數(shù)據(jù)庫的安全與保護        153
7.1　數(shù)據(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ù)庫備份機制        167
7.2.1  為什么要進行數(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ù)機制        174
7.3.1  為什么要進行數(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　習題        178
附錄A  SQL參考上機實驗        181
實驗1  用企業(yè)管理器建立數(shù)據(jù)庫和表        181
實驗2  用SQL DDL創(chuàng)建數(shù)據(jù)庫和表        181
實驗3  數(shù)據(jù)庫的簡單查詢實驗        182
實驗4  數(shù)據(jù)庫的多表連接查詢實驗        183
實驗5  數(shù)據(jù)庫的子查詢、組合查詢實驗        184
實驗6  數(shù)據(jù)庫的更新實驗        184
實驗7  數(shù)據(jù)庫的視圖定義及使用實驗        185
實驗8  數(shù)據(jù)庫的安全與保護操作實驗        185
附錄B  學(xué)生選課數(shù)據(jù)庫設(shè)計完整文檔        187
B.1  學(xué)生選課子系統(tǒng)的需求說明        187
B.2  概念模型        187
B.3  邏輯模型        187
B.4  創(chuàng)建StudentsInfo的腳本文件        187
B.5  創(chuàng)建StudentsInfo中各個表的腳本文件        188
B.6  創(chuàng)建StudentsInfo中各個表主鍵的腳本文件        189
B.7  創(chuàng)建Enrollment表外鍵的腳本文件        191
B.8  裝入StudentsInfo模擬數(shù)據(jù)的腳本文件        192
參考文獻        193