函数依赖集F的闭包F+
出自:计算机科学