函数依赖集的闭包求法