SQL与关系数据库理论 如何编写健壮的SQL代码PDF电子书下载

第1版前言 1

第2版前言 6

第1章 做好准备 7

1.1关系模型被严重地误解了 7

1.2关于术语的一些说明 8

1.3原理而非产品 10

1.4原始模型回顾 11

1.5模型vs.实现 18

1.6关系的性质 21

1.7基关系vs.导出关系 24

1.8关系vs.关系变量 26

1.9值vs.变量 28

1.10小结 28

1.11练习题 29

第2章 类型和域 31

2.1类型和关系 31

2.2相等性比较 32

2.3数据值原子性 37

2.4类型是什么 40

2.5标量类型vs.非标量类型 43

2.6 SQL中的标量类型 45

2.7 SQL中的类型检查和型转 47

2.8 SQL中的字符序 48

2.9 SQL中的行类型和表类型 50

2.10小结 52

2.11练习题 52

第3章 元组、关系、行、表 55

3.1元组是什么 55

3.2 SQL中的行 59

3.3关系是什么 61

3.4关系及其主体 63

3.5关系是n维的 64

3.6关系比较 64

3.7 TABLE DUM和TABLE-DEE 65

3.8 SQL中的表 66

3.9 SQL中的列命名 68

3.10小结 70

3.11练习题 70

第4章 不要重复，不要null 72

4.1重复有什么问题 72

4.2重复：深入讨论 76

4.3在SQL中避免重复 77

4.4 null有什么毛病 79

4.5在SQL中避免null 82

4.6对外连接的说明 84

4.7小结 84

4.8练习题 85

第5章 基关系变量和基表 90

5.1更新是集合级别的 91

5.2关系赋值 93

5.3关于候选键的更多内容 97

5.4关于外键的更多内容 99

5.5关系变量和谓词 102

5.6关系vs.类型 104

5.7练习题 106

第6章 SQL和关系代数1：原始运算符 109

6.1一些预备知识 109

6.2关于闭包的更多内容 112

6.3限制 114

6.4投影 115

6.5连接 116

6.6并、交和差 120

6.7哪些运算符是基本运算符 123

6.8逐步形成表达式 123

6.9关系表达式到底表示什么 125

6.10计算SQL表表达式 126

6.11表达式变换 127

6.12属性名依赖 130

6.13练习题 132

第7章 SQL和关系代数Ⅱ：附加运算符 135

7.1排他并 135

7.2半连接和半差 136

7.3扩展 137

7.4映像关系 139

7.5除 142

7.6聚集运算符 143

7.7再议映像关系 148

7.8汇总 149

7.9再议汇总 154

7.10分组、去分组和关系值属性 155

7.11 “WHAT IF”查询 160

7.12对于递归的说明 162

7.13 ORDER BY是怎么回事 166

7.13练习题 167

第8章 SQL与约束 171

8.1类型约束 172

8.2 SQL中的类型约束 175

8.3数据库约束 176

8.4 SQL中的数据库约束 180

8.5事务 182

8.6数据库约束为什么必须立即检查 183

8.7不是有些检查必须延迟进行吗 185

8.8约束与谓词 187

8.9各种问题 189

8.10练习题 191

第9章 SQL与视图 194

9.1视图是关系变量 195

9.2视图和谓词 198

9.3检索运算 199

9.4视图和约束 200

9.5更新运算 204

9.6视图的作用 212

9.7视图和快照 213

9.8练习题 214

第10章 SQL与逻辑 217

10.1为什么需要逻辑 218

10.2简单命题和复合命题 219

10.3简单谓词和复合谓词 224

10.4量词化 226

10.5关系演算 229

10.6关于量词化的更多内容 236

10.7一些等价关系 243

10.8小结 246

10.9练习题 246

第11章 使用逻辑表述SQL表达式 249

11.1一些变换法则 249

11.2例1：逻辑蕴涵 252

11.3例2：全称量词化 252

11.4例3：蕴涵和全称量词化 254

11.5例4：相关子查询 255

11.6例5：命名子表达式 257

11.7例6：关于命名子表达式的更多内容 260

11.8例7：处理模糊性 261

11.9例8：使用COUNT 263

11.10例9：连接查询 263

11.11例10：唯一量词化 264

11.12例11：ALL或ANY比较 266

11.13例12：GROUP BY和HAVING 270

11.14练习题 271

第12章 关于SQL的其他主题 273

12.1 SELECT＊ 273

12.2显式表 274

12.3名称限定 274

12.4区间变元 275

12.5子查询 277

12.6“可能非确定性”表达式 280

12.7空集合 281

12.8简化的BNF语法 281

12.9练习题 284

附录A 关系模型 287

附录B SQL背离关系模型之处 307

附录C 处理信息丢失的关系方法 309

附录D Tutorial D语法 322

附录E 本书建议汇总 325

附录F 练习答案 328

附录G 深入阅读建议 407