其中实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作是关系的两个不变性

• 实体完整性
  • 规则2.1
    若属性A是基本关系R的主属性（或主码中的属性），则属性A不能取空值
    现实世界的实体是可用值标识区分的 → 关系模型用主码的值作为值标识，所以不能为NULL
  • 注意
    实体完整性规则规定基本关系的所有主码的各属性都不能取空值，而不仅是主码整体不能取空值
• 参照完整性
  • 引用
    现实世界中的实体之间往往存在某种联系，在关系模型中实体及实体间的联系都是用关系来描述的。这样就自然存在着关系与关系之间的引用
    • 例１：
      学生（学号，姓名，性别，专业号，年龄）
      专业（专业号，专业名）
    • 例２：
      学生（学号，姓名，性别，专业号，年龄）
      课程（课程号，课程名）
      选修（学号，课程号，成绩）
  • 外码（Foreign Key）定义2.5
    设F是基本关系R的一个或一组属性，但不是关系R的码，如果 F与基本关系S的主码Ks相对应，则称F是基本关系R的外码（Foreign key），并称基本关系R为参照关系（Referencing relation），基本关系S为被参照关系（Referenced relation）或目标关系（Target relation）。关系R和S不一定是不同的关系
    
    • 例：学生（学号，姓名，性别，专业号，年龄，同桌学号）
      • 外码不一定与对应主码同名
      • R与S不一定是不同的关系
  • 规则2.2
    若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：
    
    • 或者取空值（F的每个属性值均为空值）
    • 或者等于S中某个元组的主码值
• 用户定义的完整性
  实体完整性和参照性适用于任何关系数据库系统。除此之外，不同的关系数据库系统根据其应用环境的不同，往往还需要一些特殊的约束条件。用户定义的完整性就是针对某一具体关系数据库的约束条件，它反映某一具体应用所涉及的数据必须满足的语义要求。关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能

NEXT