2.1 关系模型（关系完整性约束）

念人兮

已于 2022-02-05 10:09:05 修改

阅读量1.2k

点赞数

分类专栏：数据库 SQL 文章标签：数据库数据仓库

于 2022-01-07 20:04:45 首次发布

本文链接：https://blog.csdn.net/qq_43540354/article/details/122367098

版权

SQL 同时被 2 个专栏收录

36 篇文章 3 订阅

订阅专栏

数据库

31 篇文章 2 订阅

订阅专栏

2.1 关系模型（关系完整性约束）

关系的三类完整性约束

♥ 实体完整性和参照完整性

关系模型必须满足的完整性约束条件称为关系的两个不变性，应该由关系系统自动支持
♥ 用户定义的完整性
应用领域需要遵循的约束条件，体现了具体领域中的语义约束

1. 实体完整性
2. 参照完整性
3. 用户自定义完整性

1. 实体完整性

♥ 实体完整性（Entity Integrity）

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

实体完整性
2. 参照完整性
用户自定义完整性

2. 参照完整性

2.1　关系间的引用
♥ 在关系模型中实体及实体间的联系都是用关系来描述的，自然存在着关系与关系间的引用。
[例 2.1] 学生实体、专业实体
学生（学号，姓名，性别，专业号，年龄）
专业（专业号，专业名）
♥ 学生关系引用了专业关系的主码“专业号”
♥ 学生关系中的“专业号”值必须是确实存在的专业的专业号
[例 2.2] 学生、课程、学生与课程之间的多对多联系
学生（学号，姓名，性别，专业号，年龄）
课程（课程号，课程名，学分）
选修（学号，课程号，成绩）
♥ 学生关系引用了专业关系的主码“专业号”
♥ 学生关系中的“专业号”值必须是确实存在的专业的专业号
[例 2.3] 学生实体及其内部的一对多的联系
学生（学号，姓名，性别，专业号，年龄，班长）

学号	姓名	性别	专业号	年龄	班长
801	张三	女	01	19	802
802	李四	男	01	20
803	王五	男	01	19	802
804	赵六	女	02	20	805
8051	钱七	男	02	19

“学号”是主码，“班长”是外码，他引用了本关系的“学号”，“班长”必须是确实存在的学生的学号
2.2　外码（Foreign Key）
♥ 设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是R的外码
♥ 基本关系R称为参照关系（Referencing Relation）
♥ 基本关系S称为被参照关系（Referenced Relation）或目标关系（Target Relation）
[例 2.4] 中学生关系的“专业号”与专业关系的主码“专业号”相对应

“专业号”属性是学生关系的外码
专业关系是被参照关系，学生关系为参照关系

[例 2.5] 中
选修关系的“学号”与学生关系的主码“学号”相对应，选修关系的“课程号”与课程关系的主码“课程号”相对应
“学号”和“课程号”是选修关系的外码
学生关系和课程关系均为被参照关系
选修关系为参照关系

[例 2.6] 中“班长”与本身的主码“学号”相对应
“班长”是外码
学生关系即使参照关系也是被参照关系

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

3. 参照完整性

♥ 参照完整性规则
若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：

或者取空值（F的每个属性值均为空值）
或者等于S中某个元组的主码值
[例 2.7] 中学生关系的“专业号”属性只取两类值：
（1）空值，表示尚未给该学生分配专业
（2）非空值，这是该值必须是专业关系中某个元组的“专业号”值，表示该学生不可能分配一个不存在的专业
[例 2.8] 中选修（学号，课程号，成绩）
“学号”和“课程号”可能的取值：
（1）选修关系中的主属性，不能取空值
（2）只能取相应被参照关系中已经存在的主码值
[例 2.9] 学生实体及其内部的一对多的联系
学生（学号，姓名，性别，专业号，年龄，班长）
“班长”属性值可以去两类值：
（1）空值，表示该学生所在班级尚未选出班长
（2）非空值，该值必须是本关系中某个元组的学号值