分解代替null

信息缺失不必用 null 表示，可以把“已知值”“未知值”“不适用”等不同谓词拆成不同关系变量。这样每个表都有明确谓词，仍然使用二值逻辑和普通关系约束。