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