23关系的完整性约束.docVIP

2.3 关系的完整性 关系模型的完整性规则是对关系的某种约束条件。 关系模型中三类完整性约束： （1）实体完整性； 必须满足 （2）参照完整性； （3）用户定义的完整性； 一、实体完整性 规则2.1 实体完整性规则（Entity Integrity）：若属性A是基本关系R的主属性，则属性A不能取空值。 例：SAP SuperVisor,Speciality,PostGraduate ，其中Postgraduate属性为主码（假设研究生不会重名），则其不能取空值。 关系模型必须遵守实体完整性规则的原因： （1）实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集或多对多联系。 （2）现实世界中的实体和实体间的联系都是可区分的，即它们具有某种唯一性标识。 （3）相应地，关系模型中以主码作为唯一性标识。 （4）主码中的属性即主属性不能取空值。 空值就是“不知道”或“无意义”的值。主属性取空值，就说明在某个不可标识的实体，即存在不可区分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性。 注意：实体完整性规则规定基本关系的所有主属性都不能取空值。 例：选修（学号，课程号，成绩） “学号，课程号”为主码，则两个属性都不能取空值。 二、参照完整性 1、关系间的引用 在关系模型中实体及实体间的联系都是用关系来描述的，因此可能存在关系与关系间的引用。 例1 学生实体，专业实体以及专业与学生间的一对多联系。 学生（学号，姓名，性别，专业号，年龄） 专业（专业号，专业名） 例2 学生、课程、学生与课程之间的多对多联系 学生（学号，姓名，性别，专业号，年龄） 课程（课程号，课程名，学分） 选修（学号，课程号，成绩） 例3 学生实体及其内部的领导联系（一对多） 学生（学号，姓名，性别，专业号，年龄，班长） 2. 外码（Foreign Key） 设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码。基本关系R称为参照关系（Referencing Relation） 基本关系S称为被参照关系（Referenced Relation）或目标关系（Target Relation）。 说明 ※ 关系R和S不一定是不同关系 ※ 目标关系S的主码Ks和参照关系的外码F必须定义在同一个（或一组）域上 ※ 外码并不一定要与相应的主码同名 ※ 当外码与相应的主码属于不同关系时，往往取相同的名字，以便于识别。 3、参照完整性规则 规则2.2 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元祖在F上的值必须为： ※ 或者取空值（F的每个属性值均为空值） ※ 或者等于S中某个元祖的主码值。 例1，学生关系中每个元祖的“专业号”属性只取下面两类值： （1）空值，表示尚未给该学生分配专业 （2）非空值，这时该值必须是专业关系中某个元祖的“专业号”值，表示该学生不可能分配到一个不存在的专业中 例2，选修（学号，课程号，成绩） “学号”和“课程号”是选修关系中的主属性，按照实体完整性和参照完整性规则，它们只能取相应被参照关系中已经存在的主码值。 学生（学号，姓名，性别，专业号，年龄，班长） “班长”属性值可以取两类值： （1）空值，表示该学生所在班级尚未选出班长，或该学生本人即是班长； （2）非空值，这时该值必须是本关系中某个元祖的学号值。 三、用户定义完整性 ※ 用户定义的完整性是针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求。 ※ 关系模型应提供定义和检验这类完整性的机制，以便于统一的系统的方法处理它们，而不要由应用程序承担这一功能。 例：课程（课程号，课程名，学分） ※ “课程号”属性必须取唯一值 ※ 非主属性“课程名”也不能取空值 ※ “学分”属性只能取值 1,2,3,4