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