实体完整性与参照完整性及NULL的本质

关系模型的原始定义包含两条”通用”完整性约束，之所以称为通用，是因为它们适用于所有 数据库、不需要针对具体业务单独声明：实体完整性规则要求主键属性不允许为NULL——理由 是如果连主键（唯一标识这个”实体”的属性）都未知，我们甚至无法确定自己在谈论哪一个 实体；参照完整性规则要求不能存在任何不匹配的外键取值，这条规则直接表达了外键的 语义，本质是”如果B引用了A，那么A必须存在”。理解这两条规则的前提是准确理解NULL到底 是什么：NULL不是一个值，而是一个表示”值未知”的记号或标记——比如不知道某员工的工资， 就不能给这一栏填入任何实际数值（因为根据定义我们不知道该填什么），只能把这个位置 标记为NULL，这个位置本质上”什么都没包含”，而不是包含着某个叫作NULL的特殊值。书中 特别指出作者本人的立场是完全反对NULL这个概念在关系模型中的存在（认为”NULL在关系 模型中没有位置”），这与Codd原始设计的立场相反，但为了解释实体完整性规则，作者暂时 搁置这个分歧，把NULL相关的深入讨论留到后面章节。