理解关系模型的完整性约束

所谓，无规矩不成方圆。关系模型的完整性规则是对关系的某种约束条件，这些约束条件实际上是现实世界的要求。任何关系在任何时刻都需要满足这些语义约束。关系模型中有三类完整性约束：实体完整性（entity integrity）、参照完整性（referential integrity）和用户定义的完整性（user-defined integrity）。

1.实体完整性

规则：主属性（可能是一个或者一组属性）是不能取空值的，空值即“不知道”、“不存在”或者“无意义”的值。
解释：关系数据库中每个元组应该是可区分的，是唯一的。这是因为现实世界中的实体都是可区分的，例如对于学生群体这个关系，每个学生都是独立的个体，可能有相同名字的学生，可能有双胞胎这种除了名字不同其他属性都相同的学生。我们通过学号这个主属性去区分，没有两个学生的学号完全相同。所以学号是不能为空的。如果主属性取空值，则说明存在某个不可标识的实体，即存在不可区分的实体，这与现实世界是矛盾的。

2.参照完整性

规则：若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为S中某个元组的值①或者取空值（F的每个属性值均为空值）②。

解释：参照完整性定义了外码与主码之间的引用规则。还是学生的例子，学生（学号，姓名，性别，专业号，出生年月）和专业（专业号，专业名），下划线的属性是关系的主码。学生关系的专业号引用了专业关系的“专业号”。即学生的专业号必须是确实存在的，在专业关系中必须有这条记录。专业号属性就是学生关系的外码，对应规则中①的情况。外码不一定与相应的主码同名，比如例子中学生关系的专业号叫所属专业也是一样的。假设有些特招的学生录入学籍时还没有分专业，此时对应②的情况，专业号取空值。
特别的，R和S可以是同一个关系。比如定义新的关系学生（学号，姓名，性别，专业号，出生年月，班长），班长属性值可以取两类值：
−空值，表示该学生所在班级尚未有班长。
−非空值，这是该值必须是本学生关系中某个元组的学号值，即班长是学生。

3.用户自定义的完整性

实体完整性和参照完整性是关系模型必须要满足的，被称为关系的两个不变性。除此之外，不同的关系数据库系统根据应用环境的不同，还需要一些特殊的约束条件。用户定义的完整性就是具体应用领域的语义约束。例如，我们可以要求参照完整性中的学生关系里面，学生的姓名不能为空，学生的出生年月在1900年之后。关系模型提供定义和检验这类完整性的机制，用统一的系统的方法处理，增强系统的健壮性。