函数依赖闭包，在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+，又称函数依赖闭包。
在关系模式R<U，F>中为F所逻辑蕴含
的函数依赖的全体叫作 F的闭包，记为F+。
定义5.13 设F为属性集U上的一组函数依赖，X U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包。
令F为一函数依赖集，F逻辑蕴含的所有函数依赖组成的集合称为F的闭包，记为F+。
温馨提示：
