关系模型中有三类完整性约束:实体完整性、参照完整性和用户自定义的完整性。其中实体完整性和参照完整性是关系模型必须满足的完整性约束,被称为关系的两个不变性,由关系系统自动支持。
实体完整性详解:
若属性A是基本关系R的主属性,则A不能取空值。那么什么是主属性呢!
例如,学生表中(学号、姓名、所在系)“学号”为主码,则学号取值唯一,并且不能为空。
如果主码由若干属性组成,例如,选课表中(学号、课程号、成绩、班级)“学号、课程号”为主码,则“学号”和“课程号”两个属性都不能取空值。
具体说明如下:
1.实体完整性约束是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。例如,“学生”关系对应学生的集合。
2.现实世界中的实体是可区分的,即它们具有某种唯一性的标识。例如,每个学生都是独立的个体,是不同的。
3.关系模型中以主码作为唯一性标识。
4.主码的属性不能为空,如果为空,即说明存在某个不可标识的实体,与2矛盾。
参照完整性详解:
现实世界中的实体之间往往存在着某种联系,在关系模型中实体及实体间的联系都是用关系来描述的,这样就自然存在着关系与关系间的引用。
如实例所示,“选课”关系中的某些属性的取值需要参考其他关系的属性进行取值。
具体说明如下:
若属性F是基本关系R的外码,它与基本关系S的主码K,则对于R中的每个元组在F上的值必须为:
1.或许取空值(F的每个属性值均为空值),或许等于S中某个元组的主码值。
例如:“学生”关系中“专业”属性为空值是表示该学生还未选取专业。
那么什么是外码呢!如下图所示:
“学生”表中,学号为主码,为被参照关系。在“选课”表中,学号为外码,参照“学生”表中的学号,为参照关系。(定义:F是基本关系R的一个或一组属性,但不是R的码,K是基本关系S的主码。如果F与K相对应,则称F是R的外码,并称基本关系R为参照关系,基本关系S为被参考关系。)
注意:参照关系R和S不一定是不同的关系,但被参照关系S的K和关系R的外码F必须定义在同一个域上。
用户自定义完整性详解:
定义:用户定义的完整性就是针对某一具体关系数据库的约束条件,它反映某一具体应用所涉及的数据必须满足的语义要求。
例如,某个属性必须取唯一值,某个非主属性不能取空值等。