关连资料库相依关系函数的表示方式。设有相依函数F，令F`为其上的一个覆盖，若F`满足下列条件：
(1)F`中每个函数依赖的右部仅含的一个属性；
(2)F`不存在X→A，使得F`与F`－｛X→A｝等价；
(3)F`中不存在X→A，使得F`与（F`－｛X→A｝）∪｛Z→A｝等价，其中Z?X。此时F`为F的一个最小覆盖。