目 錄

第1章 數(shù)據(jù)庫系統(tǒng)概述 1
1.1 數(shù)據(jù)庫系統(tǒng)基本概念 2
1.1.1 信息和數(shù)據(jù) 2
1.1.2 數(shù)據(jù)處理與數(shù)據(jù)管理 3
1.1.3 數(shù)據(jù)管理技術(shù)的發(fā)展 3
1.1.4 數(shù)據(jù)庫系統(tǒng)的組成 7
1.2 數(shù)據(jù)庫系統(tǒng)的體系結(jié)構(gòu) 9
1.2.1 數(shù)據(jù)庫系統(tǒng)的三級模式結(jié)構(gòu) 9
1.2.2 數(shù)據(jù)庫系統(tǒng)的二級映像和數(shù)據(jù)獨立性 10
1.2.3 數(shù)據(jù)庫系統(tǒng)的三級模式結(jié)構(gòu)和二級映像的優(yōu)點 11
1.2.4 數(shù)據(jù)庫系統(tǒng)的應(yīng)用架構(gòu) 12
1.3 數(shù)據(jù)模型 14
1.3.1 三個世界及其有關(guān)概念 14
1.3.2 數(shù)據(jù)模型的分類及其組成要素 17
1.3.3 關(guān)系模型 18
1.3.4 其他非關(guān)系型數(shù)據(jù)模型 21
1.4 數(shù)據(jù)庫管理系統(tǒng) 25
1.4.1 常見的數(shù)據(jù)庫管理系統(tǒng) 25
1.4.2 數(shù)據(jù)庫管理系統(tǒng)的主要功能 26
1.4.3 數(shù)據(jù)庫管理系統(tǒng)的組成 26
1.4.4 數(shù)據(jù)庫管理系統(tǒng)的數(shù)據(jù)存取過程 27
小結(jié) 28
習(xí)題1 28
第2章 關(guān)系數(shù)據(jù)庫 31
2.1 關(guān)系模型的數(shù)據(jù)結(jié)構(gòu) 32
2.1.1 關(guān)系的形式化定義和有關(guān)概念 32
2.1.2 關(guān)系的性質(zhì) 33
2.1.3 關(guān)系模式 33
2.1.3 關(guān)系數(shù)據(jù)庫 34
2.2 關(guān)系的碼與關(guān)系的完整性 34
2.2.1 關(guān)系的碼 35
2.2.2 實體完整性 35
2.2.3 參照完整性 36
2.2.4 用戶自定義完整性 37
2.3 關(guān)系代數(shù) 37
2.3.1 關(guān)系代數(shù)的分類及其運算符 37
2.3.2 傳統(tǒng)的集合運算 38
2.3.3 專門的關(guān)系運算 39
2.4 關(guān)系演算* 46
2.4.1 元組關(guān)系演算語言 47
2.4.2 域關(guān)系演算語言 48
小結(jié) 48
習(xí)題2 49
第3章 關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言 52
3.1 SQL的基本概念與特點 53
3.1.1 SQL的發(fā)展及標(biāo)準(zhǔn)化 53
3.1.2 SQL的基本概念 53
3.1.3 SQL的特點 54
3.2 人大金倉KingbaseES簡介 54
3.2.1 KingbaseES的發(fā)展和版本 54
3.2.2 KingbaseES的客戶端工具 55
3.2.3 數(shù)據(jù)庫對象管理工具 55
3.3 創(chuàng)建和使用數(shù)據(jù)庫 56
3.3.1 KingbaseES數(shù)據(jù)庫的結(jié)構(gòu) 56
3.3.2 創(chuàng)建用戶數(shù)據(jù)庫 58
3.3.3 修改用戶數(shù)據(jù)庫 60
3.3.4 刪除用戶數(shù)據(jù)庫 61
3.4 創(chuàng)建和使用數(shù)據(jù)表 61
3.4.1 數(shù)據(jù)類型 61
3.4.2 創(chuàng)建數(shù)據(jù)表 63
3.4.3 定義數(shù)據(jù)表的約束 65
3.4.4 修改數(shù)據(jù)表 68
3.4.5 查看數(shù)據(jù)表 70
3.4.6 刪除數(shù)據(jù)表 71
3.5 數(shù)據(jù)操縱 71
3.5.1 添加數(shù)據(jù) 71
3.5.2 修改數(shù)據(jù) 72
3.5.3 刪除數(shù)據(jù) 73
3.6 數(shù)據(jù)查詢 74
3.6.1 SELECT命令的格式與基本使用 74
3.6.2 投影查詢 75
3.6.3 條件查詢 76
3.6.4 常用庫函數(shù)及統(tǒng)計匯總查詢 77
3.6.5 分組查詢 79
3.6.6 查詢結(jié)果的排序 80
3.6.7 數(shù)據(jù)表連接及連接查詢 80
3.7 子查詢 83
3.7.1 不相關(guān)子查詢 83
3.7.2 相關(guān)子查詢 86
3.7.3 數(shù)據(jù)操縱中使用子查詢 87
3.8 其他類型查詢 88
3.8.1 集合運算查詢 88
3.8.2 查詢結(jié)果存至表中 89
3.9 視圖 90
3.9.1 視圖概述 90
3.9.2 創(chuàng)建視圖 91
3.9.3 查詢視圖 93
3.9.4 修改視圖 94
3.9.5 更新視圖 94
3.9.6 刪除視圖 95
3.10 創(chuàng)建和使用索引 96
3.10.1 索引概述 96
3.10.2 索引的類型 97
3.10.3 創(chuàng)建索引 97
3.10.4 更改索引定義 99
3.10.5 刪除索引 99
小結(jié) 100
習(xí)題3 100
實驗 103
實驗3.1 103
實驗3.2 105
實驗3.3 106
第4章 關(guān)系規(guī)范化理論 107
4.1 規(guī)范化問題 108
4.1.1 規(guī)范化理論的主要內(nèi)容 108
4.1.2 不合理的關(guān)系模式存在的異常問題 108
4.2 函數(shù)依賴 110
4.2.1 函數(shù)依賴的定義 110
4.2.2 函數(shù)依賴的邏輯蘊(yùn)涵 111
4.2.3 函數(shù)依賴的推理規(guī)則及正確性 111
4.2.4 屬性集的閉包及其算法 112
4.2.5 候選碼的求解理論和算法 113
4.2.6 函數(shù)依賴集的等價、覆蓋和最小函數(shù)依賴集 114
4.3 關(guān)系模式的分解 115
4.3.1 模式分解問題 115
4.3.2 無損連接分解 115
4.3.3 保持函數(shù)依賴的分解 117
4.4 關(guān)系模式的范式 118
4.4.1 第一范式 118
4.4.2 第二范式 118
4.4.3 第三范式 119
4.4.4 BC范式 119
4.4.5 多值依賴與第四范式* 120
4.4.6 模式分解的算法 121
4.5 關(guān)系模式的規(guī)范化 122
小結(jié) 123
習(xí)題4 124
第5章 數(shù)據(jù)庫設(shè)計 126
5.1 數(shù)據(jù)庫設(shè)計概述 127
5.1.1 數(shù)據(jù)庫設(shè)計的任務(wù)、內(nèi)容和特點 127
5.1.2 數(shù)據(jù)庫設(shè)計方法簡述 128
5.1.3 數(shù)據(jù)庫設(shè)計的步驟 130
5.1.4 數(shù)據(jù)庫系統(tǒng)設(shè)計案例 131
5.2 系統(tǒng)需求分析 132
5.2.1 需求分析的任務(wù) 132
5.2.2 需求分析的方法 133
5.2.3 需求分析應(yīng)用案例 135
5.3 概念結(jié)構(gòu)設(shè)計 137
5.3.1 概念結(jié)構(gòu)設(shè)計的必要性 137
5.3.2　概念模型的特點及表示 138
5.3.3 概念結(jié)構(gòu)設(shè)計的方法與步驟 139
5.3.4 概念結(jié)構(gòu)設(shè)計案例 142
5.4　邏輯結(jié)構(gòu)設(shè)計 143
5.4.1　邏輯結(jié)構(gòu)設(shè)計的任務(wù)和步驟 143
5.4.2　初構(gòu)關(guān)系模式設(shè)計 144
5.4.3　關(guān)系模式規(guī)范化 145
5.4.4　模式評價和優(yōu)化 146
5.4.5　邏輯結(jié)構(gòu)設(shè)計案例 147
5.5 物理結(jié)構(gòu)設(shè)計 148
5.5.1 確定物理結(jié)構(gòu) 148
5.5.2 物理結(jié)構(gòu)設(shè)計的評價 150
5.6 數(shù)據(jù)庫實施 150
5.7 數(shù)據(jù)庫運行和維護(hù) 152
小結(jié) 153
習(xí)題5 153
實驗：倉庫管理系統(tǒng)設(shè)計 156
實驗5.1 數(shù)據(jù)庫的概要設(shè)計 156
實驗5.2 數(shù)據(jù)庫系統(tǒng)的邏輯設(shè)計 157
實驗5.3 數(shù)據(jù)庫系統(tǒng)的物理設(shè)計 157
第6章 數(shù)據(jù)庫安全保護(hù) 159
6.1 數(shù)據(jù)庫的安全性 160
6.1.1 數(shù)據(jù)庫的安全標(biāo)準(zhǔn) 160
6.1.2 數(shù)據(jù)庫安全性控制 161
6.1.3 KingbaseES數(shù)據(jù)安全管理機(jī)制 164
6.1.4 權(quán)限和角色 166
6.2 完整性控制 168
6.2.1 數(shù)據(jù)庫完整性的含義 168
6.2.2 完整性規(guī)則的組成 169
6.2.3 完整性約束條件的分類 171
6.2.4 數(shù)據(jù)完整性的實施 172
6.3 事務(wù)的并發(fā)控制和封鎖 173
6.3.1 事務(wù) 173
6.3.2 并發(fā)執(zhí)行與數(shù)據(jù)的不一致性 175
6.3.3 封鎖和封鎖協(xié)議 177
6.3.4 活鎖和死鎖 180
6.4　數(shù)據(jù)庫的備份和還原 182
6.4.1　數(shù)據(jù)庫備份和還原概述 182
6.4.2　數(shù)據(jù)庫還原 184
6.4.3　數(shù)據(jù)庫的故障和還原策略 187
6.4.4　金倉數(shù)據(jù)庫的備份和還原 190
小結(jié) 190
習(xí)題6 191
實驗 193
第7章 PL/SQL與應(yīng)用 195
7.1 PL/SQL編程基礎(chǔ) 196
7.1.1 PL/SQL簡介 196
7.1.2 變量聲明 198
7.1.3 數(shù)據(jù)類型、表達(dá)式與運算符 199
7.1.4 控制結(jié)構(gòu)和語句 202
7.1.5 常用函數(shù) 215
7.1.6 用戶自定義函數(shù) 219
7.2 存儲過程 221
7.2.1 存儲過程的概念和優(yōu)點 221
7.2.2 創(chuàng)建存儲過程 222
7.2.3 調(diào)用存儲過程 224
7.2.4 刪除存儲過程 224
7.3 觸發(fā)器 225
7.3.1 觸發(fā)器概述 225
7.3.2 創(chuàng)建觸發(fā)器 226
7.3.3 激活觸發(fā)器 228
7.3.4 刪除觸發(fā)器 228
7.4 游標(biāo) 228
7.4.1 游標(biāo)概述 228
7.4.2 游標(biāo)使用示例 230
小結(jié) 232
習(xí)題7 232
實驗 235
第8章 數(shù)據(jù)庫新技術(shù)和國產(chǎn)數(shù)據(jù)庫 237
8.1 數(shù)據(jù)庫新技術(shù) 238
8.1.1 數(shù)據(jù)倉庫及數(shù)據(jù)挖掘技術(shù) 238
8.1.2 分布式數(shù)據(jù)庫技術(shù) 241
8.1.3 大數(shù)據(jù)技術(shù) 243
8.1.4 其他數(shù)據(jù)庫新技術(shù) 244
8.2 國產(chǎn)數(shù)據(jù)庫 247
8.2.1 金倉數(shù)據(jù)庫管理系統(tǒng) 247
8.2.2 達(dá)夢數(shù)據(jù)庫管理系統(tǒng) 248
8.2.3 神通數(shù)據(jù)庫管理系統(tǒng) 249
8.2.4 其他國產(chǎn)主流數(shù)據(jù)庫系統(tǒng) 249
小結(jié) 251
習(xí)題8 251
參考文獻(xiàn) 254