●序
前言
第1章 數據庫繫統概述1
1.1 數據管理技術1
1.1.1 數據管理技術的產生和發展1
1.1.2 數據庫繫統的基本概念4
1.1.3 數據庫技術的發展及研究領域6
1.2 數據模型7
1.2.1 數據模型的組成要素8
1.2.2 數據模型的分類8
1.2.3 概念模型及表示方法9
1.2.4 主要的邏輯模型12
1.3 數據庫繫統結構17
1.3.1 數據庫繫統模式的概念17
1.3.2 數據庫繫統的三級模式結構17
1.3.3 數據庫的二級映像功能與數據獨立性19
1.3.4 數據庫繫統的體繫結構20
1.4 數據庫新技術22
1.4.1 數據模型的發展22
1.4.2 數據庫技術與其他相關技術結合23
1.4.3 面向應用領域的數據庫新技術23
1.5 小結24
習題24
第2章 關繫數據庫26
2.1 關繫模型概述26
2.1.1 關繫模型的數據結構26
2.1.2 關繫操作26
2.1.3 完整性約束27
2.2 關繫數據結構27
2.2.1 關繫27
2.2.2 關繫模式30
2.2.3 關繫數據庫31
2.3 關繫的完整性31
2.3.1 實體完整性32
2.3.2 參照完整性32
2.3.3 用戶定義的完整性33
2.4 關繫代數34
2.4.1 傳統集合運算34
2.4.2 專門的關繫運算37
2.5 小結42
習題42
第3章 關繫數據庫標準語言――SQL45
3.1 SQL概述45
3.2 數據定義48
3.2.1 基本表的定義、修改與刪除48
3.2.2 索引的建立與刪除51
3.3 數據查詢52
3.3.1 單表查詢52
3.3.2 連接查詢60
3.3.3 嵌套查詢64
3.3.4 集合查詢72
3.4 數據更新73
3.4.1 插入數據73
3.4.2 修改數據74
3.4.3 刪除數據75
3.5 視圖75
3.5.1 定義視圖76
3.5.2 查詢視圖78
3.5.3 更新視圖79
3.5.4 視圖的作用80
3.6 數據控制81
3.6.1 授權82
3.6.2 收回權限83
3.7 小結84
習題84
第4章 關繫數據庫規範化理論87
4.1 數據依賴87
4.1.1 函數依賴87
4.1.2 函數依賴對關繫模式的影響91
4.2 範式與關繫模式規範化92
4.2.1 第一範式93
4.2.2 第二範式95
4.2.3 第三範式96
4.2.4 Boyce-Codd範式98
4.2.5 多值依賴與第四範式98
4.3 關繫模式規範化101
4.3.1 關繫模式分解的步驟101
4.3.2 關繫模式分解的等價標準102
4.4 函數依賴公理105
4.5 小結108
習題108
第5章 數據庫設計110
5.1 數據庫設計概述110
5.1.1 數據庫設計的原則110
5.1.2 數據庫設計方法111
5.2 數據庫設計步驟113
5.2.1 需求分析階段114
5.2.2 概念結構設計階段120
5.2.3 邏輯結構設計階段127
5.2.4 物理結構設計階段132
5.2.5 數據庫實施階段135
5.2.6 運行和維護階段137
5.3 PowerDesigner數據建模138
5.3.1 PowerDesigner概述138
5.3.2 PowerDesigner的功能139
5.3.3 PowerDesigner的模型文件139
5.3.4 PowerDesigner數據建模實例140
5.4 小結148
習題148
第6章 數據保護150
6.1 安全性150
6.1.1 數據庫安全性概述150
6.1.2 數據庫安全控制的一般方法150
6.2 完整性152
6.2.1 完整性約束條件153
6.2.2 完整性控制155
6.3 並發控制158
6.3.1 並發控制概述158
6.3.2 並發操作的調度160
6.3.3 封鎖161
6.4 數據恢復163
6.4.1 故障的種類及恢復163
6.4.2 恢復的實現技術164
6.5 數據庫復制與數據庫鏡像165
6.5.1 數據庫復制165
6.5.2 數據庫鏡像167
6.6 小結168
習題168
第7章 數據庫實驗170
7.1 創建數據庫170
7.2 數據更新173
7.3 簡單查詢175
7.4 復雜查詢177
7.5 視圖操作178
7.6 Transact-SQL程序設計179
7.7 存儲過程與觸發器181
7.8 數據庫備份與恢復182
7.9 數據轉換183
7.10 數據庫安全性與授權185
7.11 SQL Server管理185
7.12 數據庫設計186
習題參考答案及部分實驗內容188
參考文獻217