因为关系是一个元组的集合，而元组在集合中的顺序无关紧要。因此不考虑元组间的顺序，即没有行序。

在验证公式时需对无穷多个元组进行验证就是无穷验证。

当一个关系中存在无穷多个元组时，此关系为无限关系。

编程时只须指出需要什么信息，不必给出具体的操作步骤。各种关系查询语言均属于非过程性语言。

这条规则要求关系中元组在组成主键的属性上不能有空值。如果出现空值，那么主键值就起不了唯一标识元组的作用。

不含有多余属性的超键称为候选键。

在关系中能唯一标识元组的属性集称为关系模式的超键。