数据库系统概论——关系模型（关系完整性约束）

关系的三类完整性约束

1.【实体完整性】
2.【参照完整性】
3.【用户定义的完整性】

实体完整性和参照完整性

关系模型必须满足的完整性约束条件称为关系的两个[不变性],应该由关系系统自动支持

实体完整性（Entity lntegrity）

1.关系的主属性不能取 空值
2.空值 就是“不知道”或“不存在”或“无意义”的 值
	例：
	  选修（学号，课程号，成绩）
	  “学号、课程号”为主码
	  “学号”和“课程号”两个属性都不能取空值

补充：

（1）实体完整性规则是针对基本关系而言的。
     一个基本表通常对应现实世界的一个实体集。
（2）现实世界中的实体是可区分的，即它们具有某种唯一性标识。
（3）关系模型中以主码作为唯一性标识。
（4）主码中的属性即主属性不能取空值。
     主属性取空值，就说明存在某个不可标记的实体，即存在不可区分的实体，
     这与第（2）点矛盾，因此这个规则称为实体完整性。

参照完整性

关系与关系之间的联系

参照完整性（关系间的引用）

在关系模型中实体及实体间的联系都是用关系来描述的，存在着关系与关系间的引用
	就是说：它是通过关系的属性的值来关联不同的实体的

学生关系中有“专业号”这一属性，而专业关系中也有“专业号”这一属性
所以我们需要一种机制来描述： 学生关系与专业关系之间在[专业号]上存在的约束关系

相比与[年龄]、[性别]这一类属性，[专业号]的取值有一定的约束条件（“专业号”的取值必须存在于【专业关系】的[专业号]中）

这样描述【学生关系】和【专业关系】两者之间通过[专业号]建立的这种引用关系
我们就称为【参照完整性】

咱们再看两个例子：

【选修关系】中的 [学号] 和 [课程号] 的 取值 就要分别参照【学生关系】中的 [学号]和【课程关系】中的 [课程号]

外码（Foreign Key）

**注意：**外码的取值必须满足参照完整性
所以在刚刚的例子中

（1）关系R和S不一定是不同的关系
（2）目标关系S的主码Ks和参照关系的外码F必须定义在同一个（或一组）域上
（3）外码并不一定要与相应的主码同名
	当外码与相应的主码属于不同关系时，往往取相同的名字，以便于识别
（4）外码可以为空值

参照完整性（参照完整性规则）

例子：

用户定义的完整性

针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求

关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理他们，而不需要由应用程序承担这一功能

应用领域需要遵循的约束条件，体现了具体领域中的语义约束