文章目录
关系的三类完整性约束
1.【实体完整性】
2.【参照完整性】
3.【用户定义的完整性】
实体完整性和参照完整性
关系模型必须满足的完整性约束条件称为关系的两个[不变性],应该由关系系统自动支持
实体完整性(Entity lntegrity)
1.关系的主属性不能取 空值
2.空值 就是“不知道”或“不存在”或“无意义”的 值
例:
选修(学号,课程号,成绩)
“学号、课程号”为主码
“学号”和“课程号”两个属性都不能取空值
补充:
(1)实体完整性规则是针对基本关系而言的。
一个基本表通常对应现实世界的一个实体集。
(2)现实世界中的实体是可区分的,即它们具有某种唯一性标识。
(3)关系模型中以主码作为唯一性标识。
(4)主码中的属性即主属性不能取空值。
主属性取空值,就说明存在某个不可标记的实体,即存在不可区分的实体,
这与第(2)点矛盾,因此这个规则称为实体完整性。
参照完整性
关系与关系之间的联系
参照完整性(关系间的引用)
在关系模型中实体及实体间的联系都是用关系来描述的,存在着关系与关系间的引用
就是说:它是通过关系的属性的值来关联不同的实体的
学生关系中有“专业号”这一属性,而专业关系中也有“专业号”这一属性
所以我们需要一种机制来描述: 学生关系与专业关系之间在[专业号]上存在的约束关系
相比与[年龄]、[性别]这一类属性,[专业号]的取值有一定的约束条件(“专业号”的取值必须存在于【专业关系】的[专业号]中)
这样描述【学生关系】和【专业关系】两者之间通过[专业号]建立的这种引用关系
我们就称为【参照完整性】
咱们再看两个例子:
【选修关系】中的 [学号] 和 [课程号] 的 取值 就要分别参照【学生关系】中的 [学号]和【课程关系】中的 [课程号]
外码(Foreign Key)
**注意:**外码的取值必须满足参照完整性
所以在刚刚的例子中
(1)关系R和S不一定是不同的关系
(2)目标关系S的主码Ks和参照关系的外码F必须定义在同一个(或一组)域上
(3)外码并不一定要与相应的主码同名
当外码与相应的主码属于不同关系时,往往取相同的名字,以便于识别
(4)外码可以为空值
参照完整性(参照完整性规则)
例子:
用户定义的完整性
针对某一具体关系数据库的约束条件,反映某一具体应用所涉及的数据必须满足的语义要求
关系模型应提供定义和检验这类完整性的机制,以便用统一的系统的方法处理他们,而不需要由应用程序承担这一功能
应用领域需要遵循的约束条件,体现了具体领域中的语义约束