數據庫原理及應用教程（第4版）（微課版）

標籤

全書共7章，主要內容包括：數據庫系統概述、關係數據庫、關係數據標準語言SQL、關係數據庫理論、數據庫安全bao護、數據庫設計和SQLServer2012高級應用。本書除介紹數據庫技術的基本原理外，還以SQLServer2012為背景介紹了數據庫技術的實現，使讀者可以充分利用SQLServer2012平臺深刻理解數據庫技術的原理，達到理論和實踐的緊密結合。

第壹章　數據庫系統概述　1
1.1　信息、數據、數據處理與數據管理　2
1.1.1　數據與信息　2
1.1.2　數據處理與數據管理　3
1.2　數據庫技術的產生、發展　3
1.3　數據庫系統的組成　8
1.4　數據庫系統的內部體系結構　10
1.4.1　數據庫系統的三級模式結構　10
1.4.2　數據庫系統的二級映像與數據獨立性　12
1.4.3　數據庫系統的三級模式與二級映像的優點　13
1.5　數據庫系統的外部體系結構　13
1.6　數據庫管理系統　15
1.6.1　DBMS的主要功能　15
1.6.2　DBMS的組成　16
1.6.3　DBMS的數據存取的過程　18
1.7　數據模型　18
1.7.1　數據模型的概念及分類　18
1.7.2　數據模型的組成要素　19
1.8　三個世界及其有關概念　20
1.8.1　現實世界　20
1.8.2　信息世界　20
1.8.3　計算機世界　22
1.9　四種數據模型　22
1.9.1　層次模型　23
1.9.2　網狀模型　24
1.9.3　關係模型　25
1.9.4　面向對象模型　28
1.10　數據庫領域的新技術　29
1.10.1　分佈式數據庫　30
1.10.2　數據倉庫與數據挖掘技術　32
1.10.3　多媒體數據庫　34
1.10.4　大數據技術　35
小結　37
習題　38
第2章　關係數據庫　42
2.1　關係模型的數據結構及其形式化定義　43
2.1.1　關係的形式化定義及其有關概念　43
2.1.2　關係的性質　45
2.1.3　關係模式　45
2.1.4　關係數據庫與關係數據庫模式　46
2.2　關係的碼與關係的完整性　47
2.2.1　候選碼（鍵）與主碼（鍵）　47
2.2.2　外碼（外部關係鍵）　48
2.2.3　關係的完整性　48
2.3　關係代數　49
2.3.1　關係代數的分類及其運算符　50
2.3.2　傳統的集合運算　50
2.3.3　專門的關係運算　52
2.4　關係演算*　56
2.4.1　元組關係演算語言　57
2.4.2　域關係演算語言QBE　61
小結　65
習題　66
第3章　關係數據庫標準語言——SQL　69
3.1　SQL的基本概念與特點　70
3.1.1　SQL的發展及標準化　70
3.1.2　SQL的基本概念　70
3.1.3　SQL的主要特點　71
3.2　SQL Server 2012簡介　72
3.2.1　SQL Server 的發展與版本　72
3.2.2　SQL Server 2012的主要組件　72
3.2.3　SQL Server 2012企業管理器（Management Studio）　73
3.3　數據庫的創建和使用　74
3.3.1　數據庫的結構　74
3.3.2　SQL Server 2012的系統數據庫　75
3.3.3　SQL Server的示例數據庫　76
3.3.4　創建用戶數據庫　76
3.3.5　修改用戶數據庫　78
3.3.6　刪除用戶數據庫　80
3.3.7　查看數據庫信息　81
3.3.8　遷移用戶數據庫　81
3.4　數據表的創建和使用　83
3.4.1　數據類型　83
3.4.2　創建數據表　85
3.4.3　定義數據表的約束　87
3.4.4　修改數據表　90
3.4.5　刪除基本表　92
3.4.6　查看數據表　93
3.5　單關係（表）的數據查詢　94
3.5.1　單關係（表）的數據查詢結構　94
3.5.2　無條件查詢　94
3.5.3　條件查詢　96
3.5.4　常用庫函數及統計彙總查詢　99
3.5.5　分組查詢　100
3.5.6　查詢結果的排序　101
3.6　多關係（表）的連接查詢　101
3.6.1　多關係（表）的連接查詢結構　101
3.6.2　內連接查詢　102
3.6.3　外連接查詢　103
3.6.4　交叉查詢　104
3.6.5　自連接查詢　104
3.7　子查詢　105
3.7.1　普通子查詢　105
3.7.2　相關子查詢　107
3.8　其他類型查詢　108
3.8.1　集合運算查詢　108
3.8.2　存儲查詢結果到表中　109
3.9　數據表中數據的操縱　109
3.9.1　添加數據表中的數據　109
3.9.2　修改數據表中的數據　110
3.9.3　刪除數據　112
3.10　視圖　113
3.10.1　創建視圖　113
3.10.2　修改視圖　114
3.10.3　刪除視圖　115
3.10.4　查詢視圖　115
3.10.5　更新視圖　115
3.11　創建與使用索引　116
3.11.1　索引概述　116
3.11.2　索引的類型　117
3.11.3　創建索引　118
3.11.4　修改索引　119
3.11.5　刪除索引　120
3.11.6　查看索引　120
小結　121
習題　121
本章實驗　125
第4章　關係數據庫理論　130
4.1　規範化問題的提出　131
4.1.1　規範化理論的主要內容　131
4.1.2　不合理的關係模式存在的異常問題　131
4.2　函數依賴　133
4.2.1　函數依賴的定義　133
4.2.2　函數依賴的邏輯蘊涵定義　135
4.2.3　函數依賴的推理規則及正確性　135
4.2.4　wan全函數依賴與部分函數依賴　138
4.2.5　傳遞函數依賴　138
4.2.6　屬性集的閉包及其算法　138
4.2.7　候選碼的求解理論和算法　139
4.2.8　函數依賴推理規則的完備性　141
4.2.9　函數依賴集的等價、覆蓋和*小函數依賴集　142
4.3　關係模式的分解*　144
4.3.1　模式分解問題　145
4.3.2　無損連接分解　145
4.3.3　無損分解的測試算法　146
4.3.4　保持函數依賴的分解　148
4.4　關係模式的範式　149
4.4.1　第壹範式　149
4.4.2　第2範式　150
4.4.3　第三範式　153
4.4.4　BC範式　156
4.4.5　多值依賴與第四範式　159
4.5　關係模式的規範化　163
4.5.1　關係模式規範化的目的和原則　163
4.5.2　關係模式規範化的步驟　163
4.5.3　關係模式規範化的要求　164
小結　166
習題　166
第5章　數據庫安全保護　172
5.1　數據庫的安全性　173
5.1.1　數據庫安全性的含義　173
5.1.2　安全性控制的一般方法　173
5.1.3　SQL Server 2012的數據安全性機制　175
5.1.4　SQL Server 2012的身份驗證模式　176
5.1.5　SQL Server 2012的登錄賬號和服務器角色　178
5.1.6　SQL Server 2012的數據庫用戶賬號和數據庫角色　181
5.2　完整性控制　186
5.2.1　數據庫完整性的含義　186
5.2.2　完整性規則的組成　186
5.2.3　完整性約束條件的分類　187
5.2.4　數據完整性的實施　188
5.2.5　規則　189
5.2.6　默認　190
5.3　併發控制與封鎖　192
5.3.1　數據庫併發性的含義　192
5.3.2　事務（Transaction）　192
5.3.3　併發操作與數據的不一致性　193
5.3.4　封鎖　195
5.4　數據庫的恢復　200
5.4.1　數據庫恢復的含義　200
5.4.2　數據庫恢復的原理及其實現技術　201
5.4.3　數據庫的故障和恢復的策略　202
小結　204
習題　205
本章實驗　207
第6章　數據庫設計　208
6.1　數據庫設計概述　209
6.1.1　數據庫設計的任務、內容和特點　209
6.1.2　數據庫設計方法簡述　210
6.1.3　數據庫設計的步驟　211
6.1.4　數據庫系統的設計案例描述　214
6.2　系統需求分析　214
6.2.1　需求分析的任務　215
6.2.2　需求分析的方法　216
6.2.3　案例的需求分析　218
6.3　概念結構設計　219
6.3.1　概念結構設計的必要性　219
6.3.2　概念模型的特點　220
6.3.3　概念模型的E-R表示方法　220
6.3.4　概念結構設計的方法與步驟　222
6.3.5　案例的概念結構設計　227
6.4　邏輯結構設計　229
6.4.1　邏輯結構設計的任務和步驟　229
6.4.2　初始關係模式設計　230
6.4.3　關係模式規範化　231
6.4.4　模式評價與改進　231
6.4.5　案例的邏輯結構設計　233
6.5　物理結構設計　234
6.5.1　確定物理結構　234
6.5.2　評價物理結構　236
6.6　數據庫實施　236
6.6.1　建立實際數據庫結構　236
6.6.2　裝入數據　236
6.6.3　應用程序編碼與調試　237
6.6.4　數據庫試運行　237
6.6.5　整理文檔　238
6.7　數據庫運行和維護　238
6.7.1　維護數據庫的安全性與完整性　238
6.7.2　監測並改善數據庫性能　238
6.7.3　重新組織和構造數據庫　239
小結　239
習題　240
本章實驗　243
第7章　SQL Server 2012高ji應用　247
7.1　Transact-SQL程序設計　248
7.1.1　變量　248
7.1.2　運算符　249
7.1.3　批處理　251
7.1.4　流程控制語句　252
7.1.5　常用命令　256
7.1.6　常用函數　259
7.2　存儲過程　269
7.2.1　存儲過程的概念、優點及分類　269
7.2.2　創建存儲過程　271
7.2.3　查看存儲過程　273
7.2.4　重新命名存儲過程　274
7.2.5　刪除存儲過程　274
7.2.6　執行存儲過程　274
7.2.7　修改存儲過程　275
7.3　觸發器　276
7.3.1　觸發器概述　276
7.3.2　觸發器的工作原理　277
7.3.3　創建觸發器　278
7.3.4　查看觸發器　281
7.3.5　修改觸發器　282
7.3.6　刪除觸發器　283
7.4　備份和還原　283
7.4.1　備份和還原概述　283
7.4.2　創建備份設備　286
7.4.3　備份數據庫　288
7.4.4　還原數據庫　290
小結　291
習題　291
本章實驗　292
SQL　Server 2012綜合練習　294
參考文獻　299