系统概论王珊pdf_系统概论_系统概论教程(5)

如果F与基本关系S的主码Ks相对应，则称F是R的外码 基本关系R称为参照关系（Referencing Relation） 基本关系S称为被参照关系（Referenced Relation） 或目标关系（Target Relation） 外码（续） [例2.1]中学生关系的“号”与关系的主码“号”相对应 “号”属性是学生关系的外码 关系是被参照关系，学生关系为参照关系 外码（续） [例2.2]中 选修关系的“学号” 与学生关系的主码“学号”相对应 选修关系的“课程号”与课程关系的主码“课程号”相对应 “学号”和“课程号”是选修关系的外码 学生关系和课程关系均为被参照关系 选修关系为参照关系 外码（续） [例2.3]中“班长”与本身的主码“学号”相对应 “班长”是外码 学生关系既是参照关系也是被参照关系 外码（续） 关系R和S不一定是不同的关系 目标关系S的主码Ks 和参照关系的外码F必须定义在同一个（或一组）域上 外码并不一定要与相应的主码同名 当外码与相应的主码属于不同关系时，往往取相同的名 字，以便于识别 3. 参照完整性规则 规则2.2 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： 或者取空值（F的每个属性值均为空值） 或者等于S中某个元组的主码值 参照完整性规则（续） [例2.1]中 学生关系中每个元组的“号”属性只取两类值： （1）空值，表示尚未给该学生分配 （2）非空值，这时该值必须是关系中某个元组的“号”值，表示该学生不可能分配一个不存在的 参照完整性规则（续） [例2.2] 中 选修（学号，课程号，成绩） “学号”和“课程号”可能的取值 ： （1）选修关系中的主属性，不能取空值 （2）只能取相应被参照关系中已经存在的主码值 参照完整性规则（续） [例2.3] 中 学生（学号，姓名，性别，号，年龄，班长） “班长”属性值可以取两类值： （1）空值，表示该学生所在班级尚未选出班长 （2）非空值，该值必须是本关系中某个元组的学号值 2.3 关系的完整性 2.3.1 实体完整性 2.3.2 参照完整性 2.3.3 用户定义的完整性 2.3.3 用户定义的完整性 针对某一具体关系的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求 关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不需由应用程序承担这一功能 用户定义的完整性（续） 例: 课程（课程号，课程名，学分） “课程号”属性必须取唯一值 非主属性“课程名”也不能取空值 “学分”属性只能取值 1，2，3，4 第二章 关系 2.1 关系模型概述 2.2 关系数据结构 2.3 关系的完整性 2.4 关系代数 2.5 *关系演算 2.6 小结 An Introduction to Database System An Introduction to Database System An Introduction to Database System An Introduction to Database System An Introduction to Database System 系统概论 An Introduction to Database System 中国人民大学信息学院 第二章 关系 关系简介 提出关系模型的是美国IBM公司的E.F.Codd 1970年提出关系数据模型 E.F.Codd, “A Relational Model of Data for Large Shared Data Banks”, 《Communication of the ACM》,1970 之后，提出了关系代数和关系演算的概念 1972年提出了关系的第一、第二、第三范式 1974年提出了关系的BC范式 第二章 关系 2.1 关系数据结构及形式化定义 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 *关系演算 2.6 小结 2.1 关系数据结构及形式化定义 2.1.1 关系 2.1.2 关系模式 2.1.3 关系 2.1.4 关系模型的存储结构 2.1.1 关系 单一的数据结构----关系 现实世界的实体以及实体间的各种联系均用关系来表示 逻辑结构----二维表 从用户角度，关系模型中数据的逻辑结构是一张二维表 建立在集合代数的基础上 关系（续） 1. 域（Domain） 2. 笛卡尔积（Cartesian Product） 3. 关系（Relation） 1. 域（Domain） 域是一组具有相同数据类型的值的集合。

本文来自电脑杂谈，转载请注明本文网址：
https://www.pc-fly.com/a/jisuanjixue/article-33086-5.html