第三节 关系的完整性                  （1） （2） （3）
    关系模型的完整性规则是对关系的某种约束条件。关系模型中三类完整性约束：实体完整性；参照完整
性；用户定义的完整性。实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作是关系的
两个不变性，应该由关系系统自动支持。
2.3.1 实体完整性
    实体完整性规则（Entity Integrity）——若属性A是基本关系R的主属性，则属性A不能取空值。
    例：SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE)，POSTGRADUATE属性为主码，（假设研究生不会重名），
则其不能取空值。关系模型必须遵守实体完整性规则的原因：
    (1) 实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集或多对多联系。
    (2) 现实世界中的实体和实体间的联系都是可区分的，即它们具有某种唯一性标识。
    (3) 相应地，关系模型中以主码作为唯一性标识。
    (4) 主码中的属性即主属性不能取空值。
    空值就是“不知道”或“无意义”的值。主属性取空值，就说明存在某个不可标识的实体，即存在不可
区分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性。
    注意：实体完整性规则规定基本关系的所有主属性都不能取空值。
    例：选修（学号，课程号，成绩），“学号、课程号”为主码，则两个属性都不能取空值。
2.3.2 参照完整性
1. 关系间的引用
    在关系模型中实体及实体间的联系都是用关系来描述的，因此可能存在着关系与关系间的引用。
    例1 学生实体、专业实体以及专业与学生间的一对多联系：学生（学号，姓名，性别，专业号，年龄），
专业（专业号，专业名）。