你不可不知的關係數據庫理論 pdf epub mobi txt 電子書 下載2025

第一部分　基礎知識
第1章　數據庫基本概念 3
1.1　什麼是數據庫 3
1.2　什麼是數據庫管理係統 5
1.2.1　數據依賴 6
1.2.2　DBMS的其他功能 7
1.3　什麼是關係型DBMS 8
1.4　數據庫係統與程序係統 10
1.5　練習 13
1.6　答案 14
第2章　關係和關係變量 17
2.1　關係 17
2.1.1　屬性 18
2.1.2　元組 20
2.1.3　關係的特點 20
2.2　關係變量 22
2.3　練習 24
2.4　答案 24
第3章　碼、外碼和相關概念 27
3.1　完整性約束 27
3.2　碼 28
3.3　外碼 31
3.4　關係變量定義 32
3.5　導入數據庫 34
3.6　數據庫係統和程序係統對比 35
3.7　練習 36
3.8　答案 36
第4章　關係運算符Ⅰ 39
4.1　Codd的原始代數 39
4.2　限製 42
4.3　投影 43
4.4　練習Ⅰ 46
4.5　答案Ⅰ 46
4.6　並、交、差 47
4.6.1　並 47
4.6.2　交 48
4.6.3　差 49
4.6.4　一些公式化的特性 50
4.7　改名 50
4.8　練習Ⅱ 52
4.9　答案Ⅱ 52
4.10　聯接 54
4.10.1　笛卡兒乘積 56
4.10.2　再論交運算 57
4.10.3　原始運算符 58
4.11　關係比較 58
4.12　修改運算符的擴充 59
4.13　練習Ⅲ 61
4.14　答案Ⅲ 61
第5章　關係運算符Ⅱ 63
5.1　匹配和非匹配 63
5.2　擴展 65
5.3　映像關係 67
5.4　聚集和分類匯總 70
5.4.1　分類匯總 71
5.4.2　明確的分類匯總 73
5.4.3　廣義約束 74
5.5　練習 74
5.6　答案 75
第6章　約束和斷言 77
6.1　數據庫約束 77
6.2　關係變量斷言 81
6.3　斷言與約束 84
6.4　練習 85
6.5　答案 87
第7章　關係模型 89
7.1　關係模型定義 89
7.2　類型 91
7.3　關係類型産生器 93
7.4　關係變量 95
7.5　關係賦值 96
7.6　關係運算符 96
7.6.1　安全性 98
7.6.2　視圖 98
7.7　結論 100
第二部分　事務和數據庫設計
第8章　事務 103
8.1　什麼是事務 103
8.2　恢復 104
8.2.1　恢復日誌 106
8.2.2　ACID特性 106
8.3　並發性 107
8.4　鎖 108
8.5　SQL的討論 110
8.6　練習 111
8.7　答案 112
第9章　數據庫設計 113
9.1　無損分解 114
9.2　函數依賴 116
9.3　第二範式 117
9.4　第三範式 119
9.5　BC範式 120
9.6　結論 121
9.7　練習 122
9.8　答案 123
第三部分　SQL
第10章　SQL基本錶 129
10.1　發展曆史 129
10.2　基本概念 131
10.3　錶的特性 131
10.4　修改錶 133
10.5　等值比較 134
10.6　定義錶 135
10.7　SQL係統與程序係統 137
10.8　練習 137
10.9　答案 138
第11章　SQL操作符Ⅰ 141
11.1　限製 141
11.2　投影 142
11.3　並、交、差 143
11.4　更名 145
11.5　練習Ⅰ 145
11.6　答案Ⅰ 146
11.7　聯接 148
11.7.1　另一種格式 149
11.7.2　規範特性 149
11.7.3　笛卡兒乘積 150
11.8　基本錶錶達式的求值 150
11.9　錶的比較 151
11.10　顯示結果 153
11.11　練習Ⅱ 154
11.12　答案Ⅱ 154
第12章　SQL運算符Ⅱ 157
12.1　MATCHING與NOT MATCHING 157
12.2　EXTEND 159
12.3　映像關係 161
12.4　聚集和歸納 161
12.4.1　歸納 162
12.4.2 “通用的限製” 165
12.5　練習 167
12.6　答案 167
第13章　SQL約束 169
13.1　數據庫約束 169
13.2　類型約束 172
13.3　練習 173
13.4　答案 174
第14章　SQL與關係模型 177
14.1　概述 177
14.2　SQL與關係模型的不同點 179
14.3　練習 182
14.4　答案 182
附錄A　Tutorial D語法 185
附錄B　TABLE_DUM和TABLE_DEE 189
附錄C　集閤論 195
附錄D　關係演算 205
附錄E　進階閱讀指南 215
· · · · · · (收起)