SQL与关系数据库理论(第3版)

目录
**版前言.1
第二版前言.6
第三版前言.8
第1章 做好准备.9
1.1 对于关系模型的严重误解10
1.2 有关术语的一些说明11
1.3 原理而非产品.13
1.4 原始模型回顾.14
1.4.1 结构特征14
1.4.2 完整性特征 17
1.4.3 操作特征 .18
1.4.4 示例 .20
1.5 模型与实现22
1.6 关系的性质26
1.7 基关系与导出关系30
1.8 关系与关系变量32
1.9 值与变量.34
1.10 小结35
1.11 练习题37
1.12 练习题答案.38
第2章 类型和域 47
2.1 类型和关系47
2.2 相等性比较49
2.3 数据值的原子性55
2.4 类型是什么？.58
2.5 标量类型与非标量类型 .62
2.6 SQL中的标量类型65
2.7 SQL中的类型检查和隐式类型转换 .67
2.8 SQL中的字符序.69
2.9 SQL中的行类型和表类型71
2.10 小结 .73
2.11 练习题 74
2.12 练习题答案.76
第3章 元组、关系、行、表 85
3.1 元组是什么85
3.2 SQL中的行90
3.3 关系是什么93
3.4 关系及其主体.94
3.5 关系是n维的96
3.6 关系比较.96
3.7 TABLE_DUM与TABLE_DEE98
3.8 SQL中的表99
3.9 SQL中的列命名.101
3.10 小结104
3.11 练习题.104
3.12 练习题答案106
第4章 不要重复，不要null113
4.1 重复有什么问题？113
4.2 重复：深入讨论.118
4.3 在SQL中避免重复.120
4.4 NULL有什么问题？.122
4.5 在SQL中避免NULL 126
4.6 有关外连接的说明 128
4.7 小结129
4.8 练习题.130
4.9 练习题答案.135
第5章 基关系变量和基表143
5.1 更新是集合级别的145
5.1.1 触发操作146
5.1.2 约束检查146
5.1.3 *后一点说明147
5.2 关系赋值147
5.2.1 D_INSERT和I_DELETE148
5.2.2 SQL中的表赋值150
5.2.3 赋值原理151
5.3 关于候选键的更多内容152
5.4 关于外键的更多内容.155
5.5 关系变量和谓词.159
5.6 关系和类型.161
5.7 练习题.164
5.8 练习题答案.166
第6章SQL和关系代数I：原始运算符175
6.1 预备知识175
6.2 更多有关闭包的内容.179
6.3 限制182
6.4 投影183
6.5 连接184
6.6 并、交和差.189
6.6.1 并189
6.6.2 交192
6.6.3 差192
6.7 哪些运算符是基本的运算符？193
6.8 逐步形成表达式.193
6.9 关系表达式到底表示什么？196
6.10 计算表表达式197
6.11 表达式变换198
6.12 属性名依赖202
6.13 练习题.204
6.14 练习题答案207
第7章SQL和关系代数II：附加运算符.217
7.1 排他并.218
7.2 半连接和半差219
7.3 扩展221
7.4 映像关系223
7.5 除.227
7.6 聚集运算符.229
7.7 空实参234
7.8 再议映像关系235
7.9 汇总237
7.10 再议汇总243
7.11 分组、解组和关系值属性246
7.11.1 有RVA则无需外连接.248
7.11.2 基关系变量中的RVA 250
7.11.3 关系比较中RVA不可或缺 251
7.11.4 聚集运算符 252
7.12 “WHAT IF”查询 252
7.13 关于递归的说明254
7.14 ORDER BY是怎么回事.259
7.15 练习题.260
7.16 练习题答案264
第8章SQL与约束.279
8.1 类型约束280
8.1.1 选择运算符和THE_运算符281
8.1.2 更多关于类型约束的讨论283
8.2 SQL中的类型约束.284
8.3 数据库约束.285
8.4 SQL中的数据库约束291
8.5 事务293
8.6 为什么说数据库约束必须立即检查294
8.7 不是有些检查必须延迟进行吗？.297
8.8 约束与谓词.299
8.9 其他问题302
8.10 练习题.304
8.11 练习题答案308
第9章SQL与视图.319
9.1 视图是关系变量.320
9.1.1 互换性原理321
9.1.2 关系常量323
9.2 视图和谓词.324
9.3 检索运算325
9.4 视图和约束.327
9.5 更新运算332
9.5.1 CHECK选项336
9.5.2 关于SQL的更多内容.338
9.5.3 S JOIN P的示例.340
9.6 视图的作用.345
9.7 视图和快照.346
9.8 练习题.348
9.9 练习题答案.350
第10章SQL与逻辑.357
10.1 为什么需要逻辑358
10.2 简单命题和复合命题360
10.2.1 联结词361
10.2.2 关于交换性的说明.364
10.2.3 逆否命题.364
10.3 简单谓词和复合谓词366
10.4 量词化.368
10.5 关系演算373
10.5.1 关于区间变元的更多内容376
10.5.2 更多样例查询.377
10.5.3 样例约束.379
10.6 关于量词化的更多内容381
10.6.1 不必同时使用两个量词.381
10.6.2 空区间383
10.6.3 定义EXISTS和FORALL384
10.6.4 其他量词类型.385
10.7 一些等价关系389
10.7.1 关系完备性391
10.7.2 一致性的重要性392
10.8 小结393
10.9 练习题.394
10.10 练习题答案396
第11章 使用逻辑表述SQL表达式.405
11.1 一些变换法则406
11.2 示例1：逻辑蕴涵409
11.3 示例2：全称量词化409
11.4 示例3：蕴涵和全称量词化411
11.5 示例4：相关子查询.413
11.6 示例5：命名子表达式415
11.7 示例6：关于命名子表达式的更多内容418
11.8 示例7：处理模糊性.419
11.9 示例8：使用COUNT.422
11.10 示例9：连接查询423
11.11 示例10：唯一量词化423
11.12 示例11：ALL或ANY比较426
11.13 示例12：GROUY BY和HAVING430
11.14 练习题432
11.15 练习题答案433
第12章 关于SQL的其他主题437
12.1 SELECT *.438
12.2 显式表.438
12.3 名称限定439
12.4 区间变元440
12.5 子查询.443
12.6 “可能非确定性”表达式446
12.7 空集合.447
12.8 简化的BNF语法448
12.8.1 表表达式.449
12.8.2 布尔表达式451
12.9 练习题.452
12.10 练习题答案454
附录A 关系模型.457
附录B SQL背离关系模型之处481
附录C 处理信息丢失的关系方法.485
附录D T u t o r i a l D语法.503
附录E 本书建议汇总507
附录F NoSQL与关系理论.511
附录G 深入阅读建议523