数据库之超详细的完整性约束
数据库的完整性是指数据的正确性和相容性。数据库是否具备完整性关系到数据库系统能否真
实地反映现实世界,因此维护数据库的完整性是非常重要的。
数据库的完整性可分为实体完整性、参照完整性和用户定义的完整性。
1.实体完整性
实体完整性是基于主码的,一个主码由一个或多个属性组成。实体完整性要求主码中的任一属性(列)不能为空,所谓空值是"不知道"或"无意义"的值。之所以要保证实体完整性主要是因为在关系中,每一个元组的区分是依据主码值的不同,若主码值取空值,则不能标明该元组的存在。
2.参照完整性
参照完整性是基于外码的,若基本关系R中含有与另一基本关系S的主码PK相对应的属性组FK(FK称为R的外码),则参照完整性要求,对R中的每个元组在FK上的值必须是S中某个元组的PK值,或者为空值。
参照完整性的合理性在于,R中的外码只能对S中主码的引用,不能是S中主码没有的值。
如学生和选课表两关系,选课表中的学号是外码,它是学生表的主键,若选课表中出现了某个学生表中没有的学号,即某个学生还没有注册,却已有了选课记录,这显然是不合理的。
对于参照完整性,需要明确以下问题:
(1)外码能否接受空值问题根据实际应用决定。
(2)在被参照关系中删除元组的问题。
级联删除:将参照关系中所有外码值与被参照关系中要删除元组主码值相同的元组一起删除。如果参照关系同时又是另一个关系的被参照关系,则这种删除操作会继续级联下去。
受限删除(一般系统默认):仅当参照关系中没有任何元组的外码值与被参照关系中要删除元组的主码值相同时,系统才可以执行删除操作,否则拒绝执行删除操作。
置空删除:删除被参照关系的元组时,并将参照关系中相应元组的外码值置为空值。
(3)在参照关系中插入元组的问题。
受限插入:仅当被参照关系中存在相应的元组时,其主码值与参照关系插入元组的外码值相同时,系统才执行插入操作,否则拒绝此操作。
递归插入:首先向被参照关系中插入相应的元组,其主码值等于参照关系插入元组的外码值,然后向参照关系插入元组。
<