6.2.4 函数依赖集的等价和覆盖