4、函数依赖集的等价及最小依赖集 定义6.14设F和G是两个函数依赖集 ①如果F+G+,则称G是F的一个覆盖,或称G覆盖F; ②如果F+cG+和G+cF同时成立,即F+=G+,则称F和G等价。 引理6.3F+=G+的充分必要条件是FG+和GcF+; 要判定F≌G+,只须逐一对中的函数依赖X→Y,考察Y是否属于X+ 就行了;引理6.3给出了判断两个函数依赖集等价的可行算法。4、函数依赖集的等价及最小依赖集  定义6.14 设F和G是两个函数依赖集： ①如果F +G+ ，则称G是F的一个覆盖，或称G覆盖F； ②如果F +G+和G+F +同时成立，即F +=G+ ，则称F和G等价。  引理6.3 F+=G+的充分必要条件是FG+ 和GF + ； 要判定FG+，只须逐一对F中的函数依赖X→Y，考察Y是否属于XG + 就行了；引理6.3给出了判断两个函数依赖集等价的可行算法