目录
TABLEOFCONTENTS
前言 I
序 III
第1章绪论 1
术语说明 2
原理,而非产品 3
回顾原模型 4
模型和实现 11
关系的属性 14
关系和关系变量 17
值和变量 19
小结 20
练习 21
第2章关系和类型 23
域限制比较 24
数值原子性 29
那么,什么是类型 32
标量和非标量类型 35
小结 36
练习 37
第3章元组和关系 41
什么是元组 41
一些重要的推论 44
什么是关系呢 45
更多重要的推论 47
为什么重复元组是被禁止的 48
为什么不允许空值 53
TABLE_DUM与TABLE_DEE 56
小结 57
练习 58
第4章关系变量 61
集合式更新 62
深入讨论候选码 63
深入讨论外码 65
深入讨论视图 67
关系变量和谓词 72
深入讨论关系与类型 75
小结 77
练习 78
第5章关系代数 81
深入探讨封闭性 83
基本运算符 86
求SQL表达式的值 93
扩展与汇总 95
分组和分组还原 99
表达式转换 100
关系比较 103
深入探讨关系赋值 106
ORDERBY运算符 108
小结 109
练习 110
第6章完整性约束 115
类型约束 115
数据库约束 119
事务 121
为什么数据库约束必须是即时检查的 122
但是,有的检查不是必须延迟吗 125
约束和谓词 127
其他问题 129
小结 131
练习 132
第7章数据库设计原理 135
设计原理的地位 136
函数依赖和Boyce/Codd范式 138
连接依赖和5NF 144
浅谈规范化 150
正交性 153
一些关于物理设计的观点 156
小结 158
练习 159
第8章什么是关系模型 163
关系模型的定义 164
关系模型的目标 168
一些数据库原理 168
关系模型和其他模型的比较 169
剩下要做的是什么 172
小结 176
练习 177
附录A关于逻辑学的一些知识 181
附录B进一步阅读的建议 199
索引 203
鄂公网安备 42010302001612号 