数据库系统课件-关系的完整性.pptVIP

An Introduction to Database System 3. 参照完整性规则 规则2.2 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： 或者取空值（F的每个属性值均为空值） 或者等于S中某个元组的主码值 * An Introduction to Database System 数据库系统概论 An Introduction to Database System 第二章 关系数据库 An Introduction to Database System 第二章 关系数据库 2.1 关系数据结构及形式化定义 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 关系演算 2.6 小结 An Introduction to Database System 2.3 关系的完整性 2.3.1 关系的三类完整性约束 2.3.2 实体完整性 2.3.3 参照完整性 2.3.4 用户定义的完整性 An Introduction to Database System 2.3.1 关系的三类完整性约束 实体完整性和参照完整性： 关系模型必须满足的完整性约束条件 称为关系的两个不变性，应该由关系系统自动支持 用户定义的完整性： 应用领域需要遵循的约束条件，体现了具体领域中的语义约束 An Introduction to Database System 2.3 关系的完整性 2.3.1关系的三类完整性约束 2.3.2 实体完整性 2.3.3 参照完整性 2.3.4 用户定义的完整性 An Introduction to Database System 2.3.2 实体完整性 规则2.1 实体完整性规则（Entity Integrity） 若属性A是基本关系R的主属性，则属性A不能取空值 例： SAP(SUPERVISOR，SPECIALITY，POSTGRADUATE) POSTGRADUATE： 主码（假设研究生不会重名） 不能取空值 An Introduction to Database System 实体完整性(续) 实体完整性规则的说明 (1) 实体完整性规则是针对基本关系而言的。一个基本表通常对应现 实世界的一个实体集。 (2) 现实世界中的实体是可区分的，即它们具有某种唯一性标识。 (3) 关系模型中以主码作为唯一性标识。 (4) 主码中的属性即主属性不能取空值。 主属性取空值，就说明存在某个不可标识的实体，即存在不可区 分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性 An Introduction to Database System 2.3关系的完整性 2.3.1关系的三类完整性约束 2.3.2 实体完整性 2.3.3 参照完整性 2.3.4 用户定义的完整性 An Introduction to Database System 2.3.3 参照完整性 1. 关系间的引用 2. 外码 3. 参照完整性规则 An Introduction to Database System 1. 关系间的引用 在关系模型中实体及实体间的联系都是用关系来描 述的，因此可能存在着关系与关系间的引用。 例1 学生实体、专业实体 　学生（学号，姓名，性别，专业号，年龄） 　 专业（专业号，专业名） 主码 主码 学生关系引用了专业关系的主码“专业号”。 学生关系中的“专业号”值必须是确实存在的专业的专业号 ，即专业 关系中有该专业的记录。 An Introduction to Database System 关系间的引用(续) 例2 学生、课程、学生与课程之间的多对多联系 学生（学号，姓名，性别，专业号，年龄） 课程（课程号，课程名，学分） 选修（学号，课程号，成绩） An Introduction to Database System 关系间的引用(续) 例3 学生实体及其内部的一对多联系 学生（学号，姓名，性别，专业号，年龄，班长） “学号”是主码，“班长”是外码，它引用了本关系的“学号” “班长” 必须是确实存在的学生的学号 An Introduction to Database System 2．外码（Foreign Key） 设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码 基本关系R称为参照关系（Referencing Relation） 基本关系S称为被参照关系（Refere