关系模型--关系完整性约束（外码）

一.实体完整性和参照完整性

/*关系模式必须满足的完整性约束条件称为关系的两个不变性，应该由关系系统自动支持*/

1.实体完整性

（1）实体在客观世界中现实存在，可区分

（2）关系的主属性（码）不能取空值

（3）空值就是 “无意义”，“不存在” 或 “不知道”

2.参照完整性

（1）参照完整性是关系与关心之间的一些联系

（2）在关系模型中实体与实体间的联系都是用关系来描述的，自然存在着关系与关系间的应用

（3）Example：学生实体：学生（学号，姓名，性别，专业号，年龄）“学号”是学生实体的主码

　　　　　　　  专业实体：专业（专业号，专业名）“专业号”是专业的主码

　　　　　　　  学生关系引用了专业关系的主码“专业号”，学生关系中的“专业号”必须是存在的专业的专业号，这种通过“专业号”建立起来的关系与关系之间的联系就是“参照完整性”

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

　　1）取空值（F 中每个属性值均为空值）

　　2）非空值，等于 S 中某个元组的主码值

3.外码：设 F 是基本关系 R 的一个或一组属性，但不是关系 R 的码。如果 F 与基本关系 S 的主码 Ks 相对应，则称 F 是 R 的外码。

　　　　基本关系 R 称为参照关系；基本关系 S 称为被参照关系或目标关系

　　　　外码的取值必须满足参照完整性：“专业号” 是外码，学生关系是参照关系，专业关系是被参照关系

二.用户定义的完整性

/*应用领域需要遵循的约束条件，体现了具体领域中的语义约束*/

标签：关系,外码,参照,专业,--,主码,完整性
来源： https://www.cnblogs.com/zxk-1212/p/15812537.html