在关系模式S中，最小依赖集F={ SNO→SDEPT，SDEPT→MN，（SNO，CNAME）→G }被定义为U={ SNO，SDEPT，MN，CNAME，G }的最小覆盖。然而，F’={ SNO→SDEPT，SNO→MN，SDEPT→MN，（SNO，CNAME）→G，（SNO，SDEPT）→SDEPT }却不是最小覆盖。这是因为F’-{ SNO→MN }与F’等效，而F’-{（SNO，SDEPT）→SDEPT }也与F’等效。