深度探索关系数据库：实践者的关系理论

目录

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