什么是CK表？

CK表是一种数据建模工具，用于描述关系数据库中的实体、属性及实体之间的联系。CK表的全称是候选码表，它可以用来验证数据表中的唯一性及完整性约束。

如何看待CK表验证真假？

CK表的验证过程涉及到数据表的约束验证，主要包括实体完整性、参照完整性和域完整性三个方面。因此，在看待CK表验证真假时，需要从这三个方面进行评估。

实体完整性验证

实体完整性指的是在每个数据表中，都应该有一个主键，且主键属性不能包含 null 值。CK表可以验证主键是否正确地定义，并且实现了正确的约束。

如果CK表验证通过，则说明数据表的主键定义正确，数据表的实体完整性满足要求。否则，需要进一步检查主键定义是否正确，或者考虑修改主键定义以符合实体完整性的要求。

参照完整性验证

参照完整性指的是在数据表之间建立约束关系，每个外键必须对应到参照表中的一个存在的主键值。CK表可以验证参照完整性的正确性，以确保外键值正确地指向参照表中的主键值。

如果CK表验证通过，则说明数据表之间的约束关系正确，参照完整性满足要求。

域完整性验证

域完整性指的是在每个数据表中，限制某些属性值必须满足数据类型、长度、约束等条件。CK表可以验证属性定义是否正确，以确保属性值满足域完整性的要求。

如果CK表验证通过，则说明数据表的属性定义正确，所有属性值满足域完整性的要求。否则，需要进一步检查属性定义，或者考虑修改数据类型、长度等定义以达到域完整性的要求。

结论

因此，当我们使用CK表验证数据表的约束关系时，需要从实体完整性、参照完整性和域完整性三个方面进行评估。只有在三个方面都通过验证，数据表的约束关系才能被认为是真实的。