函数依赖集的闭包计算例题