只要每个属性值都是不可分的原子值，就满足(24)，如果在此条件基础上，每个非键属性完全函数依赖于候选键且非主属性都不传递依赖于候选键，则就满足了(25)。