在关系模式R<U，F>中为F所逻辑蕴含
的函数依赖的全体叫作 F的闭包，记为F+。
定义5.13 设F为属性集U上的一组函数依赖，X U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。