SQL Server 2012數(shù)據(jù)庫(kù)原理與應(yīng)用

第1章  數(shù)據(jù)庫(kù)概論    1
1.1  數(shù)據(jù)管理技術(shù)的發(fā)展階段與數(shù)據(jù)庫(kù)技術(shù)概念    1
 1.1.1  數(shù)據(jù)管理技術(shù)的三個(gè)發(fā)展階段    1
 1.1.2  數(shù)據(jù)庫(kù)管理階段產(chǎn)生的三大新技術(shù)    4
 1.1.3  數(shù)據(jù)庫(kù)系統(tǒng)的主要特點(diǎn)    4
 1.1.4  數(shù)據(jù)庫(kù)技術(shù)中的幾個(gè)主要名稱    5
1.2  數(shù)據(jù)庫(kù)技術(shù)的新發(fā)展    7
 1.2.1  數(shù)據(jù)庫(kù)技術(shù)研究的主要領(lǐng)域    7
 1.2.2  數(shù)據(jù)庫(kù)技術(shù)的新發(fā)展    8
小結(jié)    13
習(xí)題    14
第2章  數(shù)據(jù)庫(kù)系統(tǒng)結(jié)構(gòu)    16
2.1  數(shù)據(jù)模型    16
 2.1.1  數(shù)據(jù)描述    16
 2.1.2  數(shù)據(jù)模型的定義和組成結(jié)構(gòu)數(shù)據(jù)模型的三要素    17
 2.1.3  實(shí)體-聯(lián)系模型簡(jiǎn)述    19
 2.1.4  結(jié)構(gòu)數(shù)據(jù)模型    22
2.2  數(shù)據(jù)庫(kù)系統(tǒng)結(jié)構(gòu)    26
 2.2.1  數(shù)據(jù)庫(kù)系統(tǒng)的三級(jí)模式結(jié)構(gòu)    27
 2.2.2  數(shù)據(jù)庫(kù)的二級(jí)映像功能與數(shù)據(jù)獨(dú)立性    28
 2.2.3  數(shù)據(jù)庫(kù)管理系統(tǒng)的工作過程    29
小結(jié)    30
習(xí)題    30
第3章  關(guān)系運(yùn)算    33
3.1  關(guān)系數(shù)據(jù)模型    33
 3.1.1  關(guān)系數(shù)據(jù)模型的定義    33
 3.1.2  關(guān)鍵碼和表之間的聯(lián)系    35
 3.1.3  關(guān)系模式    36
 3.1.4  關(guān)系模型的完整性規(guī)則    37
3.2  關(guān)系運(yùn)算    39
 3.2.1  關(guān)系查詢語(yǔ)言和關(guān)系運(yùn)算    39
 3.2.2  關(guān)系代數(shù)運(yùn)算符的分類    40
 3.2.3  傳統(tǒng)的集合運(yùn)算    41
 3.2.4  專門的關(guān)系運(yùn)算    43
 3.2.5  關(guān)系代數(shù)表達(dá)式應(yīng)用舉例    48
 3.2.6  擴(kuò)充的關(guān)系代數(shù)操作    50
3.3  關(guān)系代數(shù)表達(dá)式的查詢優(yōu)化    52
小結(jié)    58
習(xí)題    58
第4章  標(biāo)準(zhǔn)查詢語(yǔ)言SQL    61
4.1  SQL概述及其數(shù)據(jù)定義    61
 4.1.1  SQL的基本概念及其特點(diǎn)    61
 4.1.2  SQL的數(shù)據(jù)定義    63
 4.1.3  SQL對(duì)索引的創(chuàng)建與刪除    66
4.2  SQL的數(shù)據(jù)查詢    67
 4.2.1  SELECT命令的格式及其含義    68
 4.2.2  單表查詢    68
 4.2.3  多表間聯(lián)接和合并查詢    76
 4.2.4  嵌套查詢    78
 4.2.5  保存查詢結(jié)果及分步查詢    82
4.3  SQL的數(shù)據(jù)更新與視圖    83
 4.3.1  插入數(shù)據(jù)    83
 4.3.2  修改數(shù)據(jù)    85
 4.3.3  刪除數(shù)據(jù)    86
 4.3.4  視圖創(chuàng)建、刪除與更新    87
 4.3.5  SQL數(shù)據(jù)控制    89
小結(jié)    89
習(xí)題    89
第5章  關(guān)系數(shù)據(jù)庫(kù)的規(guī)范化設(shè)計(jì)    93
5.1  關(guān)系模式的設(shè)計(jì)問題    93
 5.1.1  概述    93
 5.1.2  關(guān)系模式存在的問題    93
5.2  規(guī)范化理論    96
 5.2.1  函數(shù)依賴    96
 5.2.2  碼    98
 5.2.3  范式    99
5.3  Armstrong公理系統(tǒng)    105
 5.3.1  Armstrong公理系統(tǒng)推理規(guī)則    105
 5.3.2  屬性集的閉包    106
 5.3.3  小函數(shù)依賴集    106
 5.3.4  規(guī)范化模式設(shè)計(jì)的三個(gè)原則    107
小結(jié)    110
習(xí)題    111
第6章  E-R模型的設(shè)計(jì)方法    114
6.1  E-R模型的基本元素    114
6.2  屬性的基本分類    116
 6.2.1  屬性類別分類    116
 6.2.2  屬性取值特點(diǎn)分類    116
6.3  聯(lián)系的設(shè)計(jì)方法    118
6.4  E-R模型的擴(kuò)充    121
6.5  E-R模型實(shí)例介紹    123
小結(jié)    126
習(xí)題    127
第7章  關(guān)系數(shù)據(jù)庫(kù)的設(shè)計(jì)方法    129
7.1  數(shù)據(jù)庫(kù)設(shè)計(jì)概述    129
 7.1.1  數(shù)據(jù)庫(kù)設(shè)計(jì)的內(nèi)容    129
 7.1.2  數(shù)據(jù)庫(kù)設(shè)計(jì)的特點(diǎn)    130
 7.1.3  數(shù)據(jù)庫(kù)設(shè)計(jì)的方法簡(jiǎn)述    130
 7.1.4  數(shù)據(jù)庫(kù)設(shè)計(jì)的步驟    131
 7.1.5  數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)生命周期    134
7.2  數(shù)據(jù)庫(kù)系統(tǒng)的需求分析    135
 7.2.1  需求分析的任務(wù)    135
 7.2.2  需求分析的方法    135
 7.2.3  數(shù)據(jù)字典    136
 7.2.4  數(shù)據(jù)流圖    137
7.3  概念結(jié)構(gòu)設(shè)計(jì)    138
 7.3.1  概念結(jié)構(gòu)設(shè)計(jì)的特點(diǎn)    138
 7.3.2  概念結(jié)構(gòu)設(shè)計(jì)的方法與步驟    139
 7.3.3  數(shù)據(jù)抽象與局部視圖設(shè)計(jì)    140
 7.3.4  全局E-R模型設(shè)計(jì)    142
7.4  數(shù)據(jù)庫(kù)系統(tǒng)的邏輯設(shè)計(jì)    146
 7.4.1  邏輯結(jié)構(gòu)設(shè)計(jì)的任務(wù)和步驟    146
 7.4.2  E-R圖向關(guān)系模型的轉(zhuǎn)換    147
 7.4.3  數(shù)據(jù)模型的優(yōu)化    148
7.5  數(shù)據(jù)庫(kù)的物理設(shè)計(jì)    148
 7.5.1  確定物理結(jié)構(gòu)    149
 7.5.2  確定數(shù)據(jù)庫(kù)的存儲(chǔ)結(jié)構(gòu)    150
 7.5.3  評(píng)價(jià)物理結(jié)構(gòu)    150
7.6  數(shù)據(jù)庫(kù)的實(shí)現(xiàn)    150
 7.6.1  建立實(shí)際數(shù)據(jù)庫(kù)結(jié)構(gòu)    150
 7.6.2  數(shù)據(jù)的載入和應(yīng)用程序的調(diào)試    150
 7.6.3  編制與調(diào)試應(yīng)用程序    151
 7.6.4  數(shù)據(jù)庫(kù)的試運(yùn)行    151
7.7  數(shù)據(jù)系統(tǒng)的運(yùn)行和維護(hù)    152
小結(jié)    153
習(xí)題    153
第8章  數(shù)據(jù)庫(kù)管理    156
8.1  數(shù)據(jù)庫(kù)中事務(wù)的概念    156
8.2  數(shù)據(jù)庫(kù)的恢復(fù)    157
 8.2.1  事務(wù)的故障    157
 8.2.2  數(shù)據(jù)庫(kù)恢復(fù)的基本原理及實(shí)現(xiàn)技術(shù)    158
 8.2.3  故障恢復(fù)策略    160
8.3  數(shù)據(jù)庫(kù)的并發(fā)控制    160
 8.3.1  并發(fā)控制概述    161
 8.3.2  封鎖及其解決問題的辦法    162
8.4  數(shù)據(jù)庫(kù)的完整性    167
 8.4.1  數(shù)據(jù)庫(kù)完整性約束條件的分類    167
 8.4.2  數(shù)據(jù)庫(kù)完整性控制    168
8.5  數(shù)據(jù)庫(kù)的安全性    169
小結(jié)    171
習(xí)題    171
第9章  SQL Server 2012數(shù)據(jù)庫(kù)管理系統(tǒng)介紹    174
9.1  SQL Server 2012概述    174
 9.1.1  什么是SQL Server 2012    174
 9.1.2  SQL Server 2012的版本    175
 9.1.3  SQL Server 2012的主要組件與實(shí)用程序    176
9.2  數(shù)據(jù)庫(kù)的創(chuàng)建及其管理    182
 9.2.1  系統(tǒng)數(shù)據(jù)庫(kù)    182
 9.2.2  使用SQL Server Management Studio創(chuàng)建數(shù)據(jù)庫(kù)    183
 9.2.3  使用SQL Server Management Studio查看數(shù)據(jù)庫(kù)信息    185
 9.2.4  使用SQL Server Management Studio修改數(shù)據(jù)庫(kù)    186
 9.2.5  使用SQL Server Management Studio刪除數(shù)據(jù)庫(kù)    189
 9.2.6  使用SQL Server Management Studio分離數(shù)據(jù)庫(kù)    190
 9.2.7  使用SQL Server Management Studio附加數(shù)據(jù)庫(kù)    190
9.3  數(shù)據(jù)表的創(chuàng)建及其管理    192
 9.3.1  SQL Server數(shù)據(jù)類型    192
 9.3.2  使用SQL Server Management Studio創(chuàng)建數(shù)據(jù)表    193
 9.3.3  使用SQL Server Management Studio查看數(shù)據(jù)表    194
 9.3.4  使用SQL Server Management Studio修改數(shù)據(jù)表    195
 9.3.5  使用SQL Server Management Studio刪除數(shù)據(jù)表    199
9.4  數(shù)據(jù)的添加、修改、刪除和查詢    199
 9.4.1  使用SQL Server Management Studio添加數(shù)據(jù)    199
 9.4.2  使用SQL Server Management Studio修改數(shù)據(jù)    199
 9.4.3  使用SQL Server Management Studio刪除數(shù)據(jù)    200
 9.4.4  使用SQL Server Management Studio查詢數(shù)據(jù)    200
9.5  數(shù)據(jù)完整性    202
 9.5.1  SQL Server 2012完整性概述    202
 9.5.2  主鍵約束    203
 9.5.3  規(guī)則    204
 9.5.4  默認(rèn)    207
 9.5.5  數(shù)據(jù)庫(kù)關(guān)系圖    209
9.6  視圖    212
 9.6.1  視圖設(shè)計(jì)窗口    212
 9.6.2  使用SQL Server Management Studio創(chuàng)建視圖    213
 9.6.3  使用SQL Server Management Studio查看及修改視圖    215
 9.6.4  使用SQL Server Management Studio刪除視圖    216
9.7  數(shù)據(jù)庫(kù)備份與還原    216
 9.7.1  使用命令語(yǔ)句備份和還原數(shù)據(jù)庫(kù)    216
 9.7.2  使用SQL Server Management Studio備份數(shù)據(jù)庫(kù)    218
 9.7.3  使用SQL Server Management Studio還原數(shù)據(jù)庫(kù)    221
 9.7.4  使用SQL Server Management Studio導(dǎo)入/導(dǎo)出數(shù)據(jù)表    223
小結(jié)    229
習(xí)題    229
第10章  SQL Server編程    232
10.1  嵌入式SQL    232
 10.1.1  嵌入式SQL介紹    232
 10.1.2  C#平臺(tái)下的嵌入式SQL    233
 10.1.3  Java平臺(tái)下的嵌入式SQL    236
10.2  過程化SQL    239
 10.2.1  常量    239
 10.2.2  變量    240
 10.2.3  SQL流程控制    241
10.3  程序中的批處理、腳本、注釋    246
 10.3.1  批處理    246
 10.3.2  腳本    248
 10.3.3  注釋    248
10.4  存儲(chǔ)過程    249
 10.4.1  存儲(chǔ)過程概述    249
 10.4.2  存儲(chǔ)過程的類型    250
 10.4.3  創(chuàng)建、執(zhí)行、修改、刪除簡(jiǎn)單存儲(chǔ)過程    250
 10.4.4  創(chuàng)建和執(zhí)行含參數(shù)的存儲(chǔ)過程    256
 10.4.5  存儲(chǔ)過程的重新編譯    256
 10.4.6  系統(tǒng)存儲(chǔ)過程與擴(kuò)展存儲(chǔ)過程    257
10.5  觸發(fā)器    257
 10.5.1  觸發(fā)器的概念與作用    257
 10.5.2  觸發(fā)器的種類    258
 10.5.3  觸發(fā)器的創(chuàng)建    258
 10.5.4  觸發(fā)器的修改    260
 10.5.5  觸發(fā)器的刪除    260
小結(jié)    261
習(xí)題    261
第11章  數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)開發(fā)實(shí)訓(xùn)    264
11.1  系統(tǒng)需求分析    264
11.2  系統(tǒng)功能結(jié)構(gòu)圖    265
11.3  系統(tǒng)數(shù)據(jù)流圖    265
11.4  系統(tǒng)E-R圖設(shè)計(jì)    266
11.5  系統(tǒng)數(shù)據(jù)庫(kù)設(shè)計(jì)    266
11.6  系統(tǒng)實(shí)現(xiàn)    267
 11.6.1  公共類的設(shè)計(jì)與實(shí)現(xiàn)    267
 11.6.2  登錄模塊的設(shè)計(jì)與實(shí)現(xiàn)    270
 11.6.3  管理員主窗體設(shè)計(jì)與實(shí)現(xiàn)    272
 11.6.4  用戶主窗體設(shè)計(jì)與實(shí)現(xiàn)    285
小結(jié)    290
習(xí)題    290
附錄A  上機(jī)實(shí)驗(yàn)    291
實(shí)驗(yàn)1  SQL Server 2012數(shù)據(jù)庫(kù)的建立與維護(hù)    291
實(shí)驗(yàn)2  利用SQL創(chuàng)建數(shù)據(jù)庫(kù)表及其索引    292
實(shí)驗(yàn)3  利用SQL語(yǔ)句對(duì)數(shù)據(jù)庫(kù)表的單表查詢    294
實(shí)驗(yàn)4  利用SQL語(yǔ)句對(duì)數(shù)據(jù)庫(kù)表的多表查詢    295
實(shí)驗(yàn)5  利用SQL語(yǔ)句對(duì)數(shù)據(jù)庫(kù)表的數(shù)據(jù)更新及視圖操作    296
實(shí)驗(yàn)6  利用Visio軟件制作E-R模型    297
實(shí)驗(yàn)7  SQL Server 2012數(shù)據(jù)庫(kù)表及其關(guān)系圖的建立、規(guī)則和默認(rèn)的設(shè)置    297
實(shí)驗(yàn)8  SQL Server 2012數(shù)據(jù)庫(kù)表的查詢和視圖建立    299
實(shí)驗(yàn)9  SQL Server 2012數(shù)據(jù)庫(kù)的備份和還原    300
實(shí)驗(yàn)10  存儲(chǔ)過程與觸發(fā)器的實(shí)現(xiàn)    301
附錄B  SQL Server 2012常用的系統(tǒng)函數(shù)及使用    303
參考文獻(xiàn)    312