第4讲函数依赖的等价和覆盖