第 6 章 关系数据理论

本章讨论关系数据理论。关系模式被看作为一个三元组：$R<U,F>$。当且仅当 $U$ 上的一个关系 $r$ 满足 $F$ 时，$r$ 被称为关系模式的一个关系。

由此引出第一范式的定义：

  • 第一范式：该关系的每一个分量必须是不可分的数据项。