數(shù)據(jù)庫原理及應用（第2版）

第1章 數(shù)據(jù)庫系統(tǒng)概述 1
1.1 數(shù)據(jù)庫技術(shù)的產(chǎn)生與發(fā)展 1
1.1.1 數(shù)據(jù)和數(shù)據(jù)管理技術(shù) 1
1.1.2 數(shù)據(jù)管理技術(shù)的發(fā)展 2
1.1.3 數(shù)據(jù)庫系統(tǒng)的3個發(fā)展階段 6
1.2 數(shù)據(jù)庫系統(tǒng)的基本概念 7
1.2.1 數(shù)據(jù)庫 7
1.2.2 數(shù)據(jù)庫管理系統(tǒng) 7
1.2.3 數(shù)據(jù)庫系統(tǒng) 7
1.3 數(shù)據(jù)庫系統(tǒng)的特點 8
1.4 數(shù)據(jù)模型 10
1.4.1 數(shù)據(jù)模型的類型 10
1.4.2 數(shù)據(jù)模型的基本組成 11
1.4.3 概念數(shù)據(jù)模型 11
1.4.4 邏輯數(shù)據(jù)模型 14
1.5 數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu) 19
1.5.1 三級模式結(jié)構(gòu) 19
1.5.2 兩級映像與數(shù)據(jù)獨立性 21
1.6 數(shù)據(jù)庫管理系統(tǒng) 21
1.6.1 DBMS的主要功能 22
1.6.2 DBMS的組成 23
1.6.3 DBMS的工作模式和用戶存取數(shù)據(jù)的過程 23
1.7 常用數(shù)據(jù)庫管理系統(tǒng)簡介 24
1.8 本章小結(jié) 28
習題1 29
第2章 關(guān)系數(shù)據(jù)庫 32
2.1 關(guān)系數(shù)據(jù)模型 32
2.1.1 基本概念 32
2.1.2 關(guān)系模型的形式化定義 34
2.1.3 關(guān)系的性質(zhì) 36
2.1.4 關(guān)系的鍵 37
2.2 關(guān)系的完整性約束 38
2.3 關(guān)系代數(shù) 40
2.3.1 傳統(tǒng)的集合運算 41
2.3.2 專門的關(guān)系運算 43
2.3.3 關(guān)系代數(shù)運算的應用舉例 47
2.4 關(guān)系演算* 48
2.4.1 元組關(guān)系演算 48
2.4.2 域關(guān)系演算 53
2.5 本章小結(jié) 59
習題2 59
第3章 關(guān)系數(shù)據(jù)庫標準語言SQL 64
3.1 SQL語言簡介 64
3.1.1 SQL語言發(fā)展簡史 64
3.1.2 SQL語言的主要特點 64
3.1.3 SQL語言的主要功能 65
3.1.4 SQL數(shù)據(jù)庫的三級模式結(jié)構(gòu) 66
3.2 SQL的數(shù)據(jù)定義 67
3.2.1 數(shù)據(jù)類型 67
3.2.2 定義數(shù)據(jù)庫 70
3.2.3 定義基本表 74
3.2.4 定義索引 79
3.3 SQL的數(shù)據(jù)查詢 81
3.3.1 SQL查詢語句的格式 81
3.3.2 單表查詢 82
3.3.3 連接查詢 91
3.3.4 嵌套查詢 95
3.3.5 集合查詢 102
3.4 SQL的數(shù)據(jù)操作 104
3.4.1 插入數(shù)據(jù) 104
3.4.2 修改數(shù)據(jù) 106
3.4.3 刪除數(shù)據(jù) 107
3.5 視圖 108
3.5.1 視圖的定義 108
3.5.2 修改視圖 111
3.5.3 刪除視圖 111
3.5.4 視圖查詢 112
3.5.5 視圖更新 112
3.5.6 視圖的作用 114
3.6 數(shù)據(jù)控制 115
3.6.1 授權(quán) 116
3.6.2 回收授權(quán) 117
3.7 本章小結(jié) 119
習題3 119
第4章 關(guān)系規(guī)范化理論 124
4.1 規(guī)范問題的提出 124
4.1.1 規(guī)范化理論的主要內(nèi)容 124
4.1.2 不合理的關(guān)系模式存在的數(shù)據(jù)冗余和異常現(xiàn)象 124
4.2 函數(shù)依賴 126
4.2.1 函數(shù)依賴的定義 126
4.2.2 完全函數(shù)依賴和部分函數(shù)依賴 126
4.2.3 傳遞函數(shù)依賴 127
4.2.4 超鍵、候選鍵、主鍵 127
4.3 范式和規(guī)范化方法 128
4.3.1 第一范式（1NF） 128
4.3.2 第二范式（2NF） 129
4.3.3 第三范式（3NF） 130
4.3.4 BCNF 130
4.3.5 多值依賴與第四范式 132
4.3.6 關(guān)系模式的規(guī)范化 134
4.4 數(shù)據(jù)依賴的公理系統(tǒng) 135
4.4.1 函數(shù)依賴的邏輯蘊含與函數(shù)依賴集的閉包 135
4.4.2 函數(shù)依賴的推理規(guī)則-Armstrong 公理系統(tǒng) 135
4.4.3 屬性集的閉包及其算法 137
4.4.4 候選鍵的計算 138
4.4.5 函數(shù)依賴推理規(guī)則的完備性 139
4.4.6 函數(shù)依賴集的等價、覆蓋和最小函數(shù)依賴集 140
4.5 關(guān)系模式的分解 142
4.5.1 模式分解的定義 142
4.5.2 分解的無損連接性 142
4.5.3 分解的保持函數(shù)依賴性 143
4.5.4 關(guān)系模式分解的算法 144
4.6 本章小結(jié) 145
習題4 145
第5章 數(shù)據(jù)庫設(shè)計 149
5.1 數(shù)據(jù)庫設(shè)計概述 149
5.1.1 數(shù)據(jù)庫設(shè)計的定義、內(nèi)容和特點 149
5.1.2 數(shù)據(jù)庫設(shè)計方法概述 150
5.1.3 數(shù)據(jù)庫設(shè)計的基本步驟 151
5.2 需求分析 153
5.2.1 需求分析的任務(wù) 153
5.2.2 需求分析的方法 155
5.2.3 需求分析的常用工具 155
5.2.4 需求分析實例 157
5.3 概念結(jié)構(gòu)設(shè)計 160
5.3.1 概念結(jié)構(gòu)設(shè)計的定義 160
5.3.2 概念結(jié)構(gòu)設(shè)計的方法和步驟 161
5.3.3 局部視圖設(shè)計 163
5.3.4 集成全局視圖 165
5.4 邏輯結(jié)構(gòu)設(shè)計 167
5.4.1 邏輯結(jié)構(gòu)設(shè)計的任務(wù)和步驟 167
5.4.2 E-R圖向關(guān)系模型的轉(zhuǎn)換 168
5.4.3 邏輯結(jié)構(gòu)的優(yōu)化 169
5.4.4 設(shè)計用戶子模式 171
5.5 物理結(jié)構(gòu)設(shè)計 172
5.5.1 確定數(shù)據(jù)庫的物理結(jié)構(gòu) 172
5.5.2 評價物理結(jié)構(gòu) 173
5.6 數(shù)據(jù)庫的實施和維護 173
5.6.1 數(shù)據(jù)的載入和應用程序的調(diào)試 174
5.6.2 數(shù)據(jù)庫的試運行 174
5.6.3 數(shù)據(jù)庫的運行和維護 175
5.7 本章小結(jié) 175
習題5 176
第6章 數(shù)據(jù)庫保護技術(shù) 179
6.1 數(shù)據(jù)庫的安全性 179
6.1.1 計算機系統(tǒng)的安全性 179
6.1.2 數(shù)據(jù)庫的安全性 179
6.1.3 安全性控制的一般方法 180
6.1.4 數(shù)據(jù)庫的安全標準 183
6.1.5 SQL Server 2012的安全性控制 185
6.2 數(shù)據(jù)庫的完整性 193
6.2.1 完整性約束條件的類型 193
6.2.2 完整性控制機制的功能 195
6.2.3 完整性規(guī)則的組成 195
6.2.4 SQL Server 2012的數(shù)據(jù)完整性控制 196
6.3 并發(fā)控制 197
6.3.1 事務(wù)的基本概念 197
6.3.2 并發(fā)操作引發(fā)的問題 199
6.3.3 封鎖及封鎖協(xié)議 201
6.3.4 封鎖出現(xiàn)的問題和解決方法 206
6.3.5 SQL Server 2012的并發(fā)控制機制 208
6.4 數(shù)據(jù)庫的恢復 209
6.4.1 數(shù)據(jù)庫故障的類型 209
6.4.2 數(shù)據(jù)庫恢復技術(shù) 210
6.4.3 數(shù)據(jù)庫恢復策略 212
6.5 本章小結(jié) 213
習題6 214
第7章 SQL Server 2012應用 217
7.1 SQL Server 2012簡介 217
7.1.1 SQL Server 2012的新功能與優(yōu)勢 217
7.1.2 SQL Server 2012的組成 218
7.1.3 SQL Server 2012的版本 222
7.2 使用SQL Server Management Studio管理數(shù)據(jù)庫 222
7.2.1 SQL Server數(shù)據(jù)庫的文件組成 223
7.2.2 數(shù)據(jù)庫的創(chuàng)建 225
7.2.3 數(shù)據(jù)庫的修改 226
7.2.4 數(shù)據(jù)庫的刪除 227
7.2.5 數(shù)據(jù)庫表的創(chuàng)建與管理 227
7.2.6 修改表 229
7.2.7 查看表 229
7.2.8 刪除表 231
7.2.9 在數(shù)據(jù)庫表中添加、修改和刪除數(shù)據(jù) 231
7.2.10 索引 231
7.2.11 數(shù)據(jù)查詢 232
7.3 T-SQL編程基礎(chǔ) 232
7.3.1 T-SQL程序結(jié)構(gòu) 233
7.3.2 變量 235
7.3.3 流程控制語句 237
7.3.4 SQL Server程序設(shè)計舉例 241
7.4 游標 242
7.4.1 游標類型 243
7.4.2 游標的管理 244
7.5 存儲過程 249
7.5.1 存儲過程的基本概念 249
7.5.2 創(chuàng)建存儲過程 250
7.5.3 修改和刪除存儲過程 254
7.5.4 刪除存儲過程 254
7.6 觸發(fā)器 255
7.6.1 觸發(fā)器的基本概念 255
7.6.2 DML觸發(fā)器類型 256
7.6.3 DML觸發(fā)器的工作原理 256
7.6.4 創(chuàng)建觸發(fā)器 257
7.6.5 管理觸發(fā)器 259
7.7 數(shù)據(jù)庫連接技術(shù) 261
7.7.1 ODBC技術(shù) 261
7.7.2 JDBC技術(shù) 263
7.7.3 SQL與宿主語言 268
7.8 本章小結(jié) 269
習題7 269
第8章 數(shù)據(jù)庫應用系統(tǒng)開發(fā) 273
8.1 數(shù)據(jù)庫訪問技術(shù) 273
8.1.1 數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu) 273
8.1.2 JDBC技術(shù) 275
8.2 MyEclipse開發(fā)環(huán)境介紹 275
8.2.1 MyEclipse的安裝 275
8.2.2 MyEclipse IDE的組成 275
8.2.3 使用MyEclipse開發(fā)Web程序的一般步驟 277
8.3 教學管理系統(tǒng)的設(shè)計 278
8.3.1 開發(fā)背景 278
8.3.2 系統(tǒng)分析 278
8.3.3 系統(tǒng)設(shè)計 278
8.4 教學管理系統(tǒng)的實現(xiàn) 282
8.4.1 創(chuàng)建教學管理系統(tǒng)項目 282
8.4.2 數(shù)據(jù)庫連接模塊的實現(xiàn) 282
8.4.3 用戶登錄模塊的實現(xiàn) 286
8.4.4 學生信息管理模塊的實現(xiàn) 287
8.4.5 教師信息管理模塊的實現(xiàn) 289
8.4.6 課程信息管理模塊的實現(xiàn) 290
8.4.7 成績信息管理模塊的實現(xiàn) 291
8.5 本章小結(jié) 292
習題8 292
第9章 數(shù)據(jù)庫技術(shù)新進展 294
9.1 分布式數(shù)據(jù)庫 294
9.1.1 分布式數(shù)據(jù)庫概述 294
9.1.2 分布式數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu) 295
9.1.3 分布式數(shù)據(jù)庫系統(tǒng)的發(fā)展前景 296
9.2 面向?qū)ο髷?shù)據(jù)庫 296
9.3 XML數(shù)據(jù)庫 297
9.4 數(shù)據(jù)倉庫 299
9.4.1 數(shù)據(jù)倉庫概述 299
9.4.2 數(shù)據(jù)倉庫系統(tǒng)的體系結(jié)構(gòu) 299
9.4.3 數(shù)據(jù)倉庫的數(shù)據(jù)庫模式 300
9.4.4 數(shù)據(jù)倉庫工具 302
9.5 數(shù)據(jù)挖掘技術(shù) 303
9.5.1 數(shù)據(jù)挖掘的概述 303
9.5.2 數(shù)據(jù)挖掘的實施步驟 303
9.5.3 數(shù)據(jù)挖掘常用的基本技術(shù) 304
9.6 數(shù)據(jù)庫技術(shù)的研究及發(fā)展 306
9.7 本章小結(jié) 307
習題9 307
參考文獻 309
參考答案 311
第1章 數(shù)據(jù)庫系統(tǒng)概述 311
第2章 關(guān)系數(shù)據(jù)庫 311
第3章 關(guān)系數(shù)據(jù)庫標準語言SQL 312
第4章 關(guān)系規(guī)范化理論 312
第5章 數(shù)據(jù)庫設(shè)計 313
第6章 數(shù)據(jù)庫保護技術(shù) 313
第7章 SQL Server 2012應用 314
第8章 數(shù)據(jù)庫應用系統(tǒng)開發(fā) 314
第9章 數(shù)據(jù)庫技術(shù)新進展 314