�8�5 突出基礎(chǔ)性和應(yīng)用性

      �8�5 以應(yīng)用能力培養(yǎng)為目標(biāo)

      �8�5 通過實(shí)例，幫助學(xué)生理解抽象的理論知識

      �8�5 通過應(yīng)用設(shè)計(jì)，提高學(xué)生解決實(shí)際問題的能力

      �8�5 通過大量系統(tǒng)，檢查學(xué)生對基礎(chǔ)知識的掌握程度。

      本書是江蘇省高等學(xué)校精品教材，也是“十二五”江蘇省高等學(xué)校重點(diǎn)教材。第1版本著強(qiáng)化基礎(chǔ)、緊密聯(lián)系實(shí)際應(yīng)用、為教學(xué)和社會及產(chǎn)業(yè)服務(wù)的原則，以數(shù)據(jù)庫應(yīng)用實(shí)例貫穿于各章節(jié)，將數(shù)據(jù)庫基本原理、技術(shù)與應(yīng)用三者有機(jī)結(jié)合起來，突出實(shí)踐應(yīng)用。本次修訂繼續(xù)保留和強(qiáng)化這些特色，同時(shí)進(jìn)一步優(yōu)化內(nèi)容，淘汰舊知識、補(bǔ)充新技術(shù)，從知識內(nèi)容優(yōu)選、示例更新等多個(gè)方面進(jìn)行修訂，完善理論教學(xué)內(nèi)容、充實(shí)實(shí)驗(yàn)指導(dǎo)，形成理論與應(yīng)用相結(jié)合的一體化教材。

      本書的主要特點(diǎn)是突出基礎(chǔ)性和應(yīng)用性，以基于數(shù)據(jù)庫的應(yīng)用能力培養(yǎng)為主要目標(biāo)，通過實(shí)例，幫助學(xué)生理解抽象的理論知識；通過應(yīng)用設(shè)計(jì)，提高學(xué)生解決實(shí)際問題的能力；通過大量習(xí)題，檢查學(xué)生對基本知識的掌握程度。

      本書較為全面地介紹了數(shù)據(jù)庫系統(tǒng)的基本概念、基本原理和應(yīng)用技術(shù)。全書共9章。第1章是數(shù)據(jù)庫系統(tǒng)概述，主要介紹了數(shù)據(jù)庫技術(shù)的產(chǎn)生與發(fā)展、數(shù)據(jù)庫技術(shù)相關(guān)概念、數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu)、數(shù)據(jù)模型等；第2章是關(guān)系數(shù)據(jù)庫，闡述了關(guān)系模型的3個(gè)方面，即關(guān)系數(shù)據(jù)結(jié)構(gòu)、關(guān)系數(shù)據(jù)操作和關(guān)系完整性約束；主要講解了關(guān)系數(shù)據(jù)模型有關(guān)的定義、概念和性質(zhì)，關(guān)系代數(shù)和三類關(guān)系完整性約束；第3章是關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL，以豐富的示例生動(dòng)、具體地講解了SQL語言的數(shù)據(jù)定義、數(shù)據(jù)查詢、數(shù)據(jù)操作、視圖及數(shù)據(jù)控制，這些內(nèi)容是數(shù)據(jù)庫應(yīng)用的重要基礎(chǔ)；第4章是關(guān)系規(guī)范化理論，主要講解函數(shù)依賴、范式和模式設(shè)計(jì)方法等關(guān)系模式規(guī)范化理論；第5章是數(shù)據(jù)庫設(shè)計(jì)，通過實(shí)例著重講解了需求分析、概念結(jié)構(gòu)設(shè)計(jì)、邏輯結(jié)構(gòu)設(shè)計(jì)、物理結(jié)構(gòu)設(shè)計(jì)及數(shù)據(jù)庫的實(shí)施和維護(hù)；第6章是數(shù)據(jù)庫保護(hù)技術(shù)，主要討論數(shù)據(jù)庫的安全性保護(hù)、完整性保護(hù)、并發(fā)控制和恢復(fù)；第7章是SQL Server 2012的應(yīng)用，主要介紹了數(shù)據(jù)庫管理軟件的基本知識，通過實(shí)例介紹了T-SQL語言、數(shù)據(jù)查詢、數(shù)據(jù)完整性、規(guī)則和索引、視圖和用戶定義函數(shù)、存儲過程、觸發(fā)器和游標(biāo)，最后講述了數(shù)據(jù)庫連接技術(shù)；第8章是數(shù)據(jù)庫應(yīng)用系統(tǒng)開發(fā)，主要介紹了網(wǎng)絡(luò)環(huán)境下數(shù)據(jù)庫應(yīng)用的兩種主要形式，即客戶/服務(wù)器（C/S）模式和瀏覽器/服務(wù)器（B/S）模式以及開發(fā)環(huán)境與開發(fā)工具。此外，還以教學(xué)管理系統(tǒng)為例，將其實(shí)現(xiàn)與數(shù)據(jù)庫技術(shù)的教學(xué)實(shí)施結(jié)合在一起；第9章是數(shù)據(jù)庫技術(shù)新進(jìn)展，主要介紹了分布式數(shù)據(jù)庫、面向?qū)ο髷?shù)據(jù)庫、數(shù)據(jù)倉庫及數(shù)據(jù)挖掘技術(shù)。

      本書由姜代紅、蔣秀蓮主持編寫并統(tǒng)稿。第1章和第6章由姜代紅編寫，第2章由蔣秀蓮編寫，第3章和第7章由劉風(fēng)華編寫，第4章由王建穎編寫，第5章由鞠訓(xùn)光、喬淑云編寫，第8章由孫寧編寫，第9章由李子龍編寫。

      很多老師對這次教材的編寫給予了很大幫助，尤其是第1版的編者及承擔(dān)本課程教學(xué)工作的程紅林、胡局新等老師，他們對本教材的再版提出了很多建設(shè)性意見和建議，在此一并表示感謝。

      在本書的修訂過程中，我們參閱和借鑒了相關(guān)參考文獻(xiàn)及資料，吸收了許多同仁和專家的寶貴經(jīng)驗(yàn)，在此深表謝意！

      衷心感謝清華大學(xué)出版社的編輯們，正是他們的辛勤工作，才使得本書修訂得以順利出版。

      由于編寫時(shí)間倉促及水平有限，書中難免存在不妥之處，我們誠懇地希望讀者和同行批評指正。

      編 者 

      2016年10月

第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個(gè)發(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)的特點(diǎn) 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ù)獨(dú)立性 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

習(xí)題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)的集合運(yùn)算 41

2.3.2 專門的關(guān)系運(yùn)算 43

2.3.3 關(guān)系代數(shù)運(yùn)算的應(yīng)用舉例 47

2.4 關(guān)系演算* 48

2.4.1 元組關(guān)系演算 48

2.4.2 域關(guān)系演算 53

2.5 本章小結(jié) 59

習(xí)題2 59

第3章 關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL 64

3.1 SQL語言簡介 64

3.1.1 SQL語言發(fā)展簡史 64

3.1.2 SQL語言的主要特點(diǎn) 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

習(xí)題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ù)冗余和異�，F(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ù)依賴的邏輯蘊(yùn)含與函數(shù)依賴集的閉包 135

4.4.2 函數(shù)依賴的推理規(guī)則-Armstrong 公理系統(tǒng) 135

4.4.3 屬性集的閉包及其算法 137

4.4.4 候選鍵的計(jì)算 138

4.4.5 函數(shù)依賴推理規(guī)則的完備性 139

4.4.6 函數(shù)依賴集的等價(jià)、覆蓋和最小函數(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

習(xí)題4 145

第5章 數(shù)據(jù)庫設(shè)計(jì) 149

5.1 數(shù)據(jù)庫設(shè)計(jì)概述 149

5.1.1 數(shù)據(jù)庫設(shè)計(jì)的定義、內(nèi)容和特點(diǎn) 149

5.1.2 數(shù)據(jù)庫設(shè)計(jì)方法概述 150

5.1.3 數(shù)據(jù)庫設(shè)計(jì)的基本步驟 151

5.2 需求分析 153

5.2.1 需求分析的任務(wù) 153

5.2.2 需求分析的方法 155

5.2.3 需求分析的常用工具 155

5.2.4 需求分析實(shí)例 157

5.3 概念結(jié)構(gòu)設(shè)計(jì) 160

5.3.1 概念結(jié)構(gòu)設(shè)計(jì)的定義 160

5.3.2 概念結(jié)構(gòu)設(shè)計(jì)的方法和步驟 161

5.3.3 局部視圖設(shè)計(jì) 163

5.3.4 集成全局視圖 165

5.4 邏輯結(jié)構(gòu)設(shè)計(jì) 167

5.4.1 邏輯結(jié)構(gòu)設(shè)計(jì)的任務(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è)計(jì)用戶子模式 171

5.5 物理結(jié)構(gòu)設(shè)計(jì) 172

5.5.1 確定數(shù)據(jù)庫的物理結(jié)構(gòu) 172

5.5.2 評價(jià)物理結(jié)構(gòu) 173

5.6 數(shù)據(jù)庫的實(shí)施和維護(hù) 173

5.6.1 數(shù)據(jù)的載入和應(yīng)用程序的調(diào)試 174

5.6.2 數(shù)據(jù)庫的試運(yùn)行 174

5.6.3 數(shù)據(jù)庫的運(yùn)行和維護(hù) 175

5.7 本章小結(jié) 175

習(xí)題5 176

第6章 數(shù)據(jù)庫保護(hù)技術(shù) 179

6.1 數(shù)據(jù)庫的安全性 179

6.1.1 計(jì)算機(jī)系統(tǒng)的安全性 179

6.1.2 數(shù)據(jù)庫的安全性 179

6.1.3 安全性控制的一般方法 180

6.1.4 數(shù)據(jù)庫的安全標(biāo)準(zhǔn) 183

6.1.5 SQL Server 2012的安全性控制 185

6.2 數(shù)據(jù)庫的完整性 193

6.2.1 完整性約束條件的類型 193

6.2.2 完整性控制機(jī)制的功能 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ā)控制機(jī)制 208

6.4 數(shù)據(jù)庫的恢復(fù) 209

6.4.1 數(shù)據(jù)庫故障的類型 209

6.4.2 數(shù)據(jù)庫恢復(fù)技術(shù) 210

6.4.3 數(shù)據(jù)庫恢復(fù)策略 212

6.5 本章小結(jié) 213

習(xí)題6 214

第7章 SQL Server 2012應(yīng)用 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è)計(jì)舉例 241

7.4 游標(biāo) 242

7.4.1 游標(biāo)類型 243

7.4.2 游標(biāo)的管理 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

習(xí)題7 269

第8章 數(shù)據(jù)庫應(yīng)用系統(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 教學(xué)管理系統(tǒng)的設(shè)計(jì) 278

8.3.1 開發(fā)背景 278

8.3.2 系統(tǒng)分析 278

8.3.3 系統(tǒng)設(shè)計(jì) 278

8.4 教學(xué)管理系統(tǒng)的實(shí)現(xiàn) 282

8.4.1 創(chuàng)建教學(xué)管理系統(tǒng)項(xiàng)目 282

8.4.2 數(shù)據(jù)庫連接模塊的實(shí)現(xiàn) 282

8.4.3 用戶登錄模塊的實(shí)現(xiàn) 286

8.4.4 學(xué)生信息管理模塊的實(shí)現(xiàn) 287

8.4.5 教師信息管理模塊的實(shí)現(xiàn) 289

8.4.6 課程信息管理模塊的實(shí)現(xiàn) 290

8.4.7 成績信息管理模塊的實(shí)現(xiàn) 291

8.5 本章小結(jié) 292

習(xí)題8 292

第9章 數(shù)據(jù)庫技術(shù)新進(jìn)展 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ù)挖掘的實(shí)施步驟 303

9.5.3 數(shù)據(jù)挖掘常用的基本技術(shù) 304

9.6 數(shù)據(jù)庫技術(shù)的研究及發(fā)展 306

9.7 本章小結(jié) 307

習(xí)題9 307

參考文獻(xiàn) 309

參考答案 311

第1章 數(shù)據(jù)庫系統(tǒng)概述 311

第2章 關(guān)系數(shù)據(jù)庫 311

第3章 關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL 312

第4章 關(guān)系規(guī)范化理論 312

第5章 數(shù)據(jù)庫設(shè)計(jì) 313

第6章 數(shù)據(jù)庫保護(hù)技術(shù) 313

第7章 SQL Server 2012應(yīng)用 314

第8章 數(shù)據(jù)庫應(yīng)用系統(tǒng)開發(fā) 314

第9章 數(shù)據(jù)庫技術(shù)新進(jìn)展 314