实体完整性、参照完整性、彻底函数依赖、部分函数依赖

实体完整性：若是A是二维表的主码，那么A不能为空。 （若属性A是基本关系R的主属性，则属性A不能取空值）web 参照完整性：若是F是外码，那么他要么是空值，要么就是另外一个表的主码. （若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码相对应（基本关系R和S不必定是不一样的关系），则对于R中每一个元祖在F上必须为：数据库 或者取空值（F的每一个属性均为空值） 或者等于S中某个元祖的主码值

>>阅读原文<<