3、函数依赖集的闭包 定义62 在关系模式R<U,F>中为逻辑蕴含的函数依赖的全体叫作F的 闭包( closure),记为F+,即F+={X→Y记为F|=X→Y}。 F+={F从阿氏公理中导出的所有函数依赖的集合} 一般情况下,FF+,如果F=F+,则称F为一个函数依赖的完备 集;3、函数依赖集的闭包  定义6.l2 在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作F的 闭包（closure），记为F +，即F +=｛X→Y|记为F|=X→Y｝。 F +={Fi |从阿氏公理中导出的所有函数依赖的集合}  一般情况下，F  F +，如果F =F +，则称F为一个函数依赖的完备 集；