参照完整性约束允许外键字段为NULL，但在非空情况下，其值必须对应被参照表中存在的主键值。因此，B选项是正确的。