什么是参照完整性规则?能否详细介绍一下?

关系的究整性 关系模型的完整性规则是对关系的某种约束条件。关系模型中可以有三类完整性约束：实体完整性、参照完整性和用户定义的完整性。其中实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作是关系的两个不变性，应该由关系系统自动支持。一、实体完整性（Entity Integrity） 规则2.1 实体完整性规则 若属性A是基本关系R的主属性，则属性A不能取空值。 例如在关系“SAP（SUPERVISOR，SPECIALITY，POSTGRADUATE）”中，“研究生姓名POSTGRADUATE”属性为主码（假设研究生不会重名），则“研究生姓名”不能取空值。 实体完整性规则规定基本关系的所有主属性都不能取空值，而不仅是主码整体不能取空值。例如学生选课关系“选修（学号，课程号，成绩）”中，“学号、课程号”为主码，则“学号”和“课程号”两个属性都不能取空值。 对于实体完整性规则说明如下： （1）实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。例如学生关系对应于学生的集合。 （2）现实世界中的实体是可区分的，即它们具有某种唯一性标识。 （3）相应地，关系模型中以主码作为唯一性标识。 （4）主码中的属性即主属性不能取空值。所谓空值就是“不知道”或“无意义”的值。如果主属性取空值，就说明存在某个不可标识的实体，即存在不可区分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性。二、参照完整性（Referential Integrity） 现实世界中的实体之间往往存在某种联系，在关系模型中实体及实体间的联系都是用关系来描述的。这样就自然存在着关系与关系间的引用。先来看三个例子。 例1 学生实体和专业实体可以用下面的关系表示，其中主码用下划线标识： 学生（学号，姓名，性别，专业号，年龄） 专业（专业号，专业名） 这两个关系之间存在着属性的引用，即学生关系引用了专业关系的主码“专业号”。显然，学生关系中的“专业号”值必须是确实存在的专业的专业号，即专业关系中有该专业的记录。这也就是说，学生关系中的某个属性的取值需要参照专业关系的属性取值。规则2.2 参照完整性规则 若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： ·或者取空值（F的每个属性值均为空值）； ·或者等于S中某个元组的主码值。三、用户定义的完整性（User-defined Integrity） 任何关系数据库系统都应该支持实体完整性和参照完整性。除此之外，不同的关系数据库系统根据其应用环境的不同，往往还需要一些特殊的约束条件，用户定义的完整性就是针对某一具体关系数据库的约束条件。它反映某一具体应用所涉及的数据必须满足的语义要求。例如某个属性必须取唯一值、某些属性值之间应满足一定的函数关系、某个属性的取值范围在 0～100之间等。关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能 收起