属性集的闭包 定义6.13 设F为属性集U上的组函数依赖,XcU,X2+={AX→A能由根据 Armstrong公理导出},X称为属性集X关于函数依赖集F的闭包 在实际使用中,判定X→Y是否能从已知的根据阿氏公理导出的问题, 就转化为求出X,然后判定Y是否为X的子集的问题。属性集的闭包  定义6.13 设F为属性集U上的一组函数依赖，XU，XF + ={A|X→A能由F根据 Armstrong公理导出}，XF +称为属性集X关于函数依赖集F的闭包。  在实际使用中，判定X→Y是否能从已知的F根据阿氏公理导出的问题， 就转化为求出XF + ，然后判定Y是否为XF +的子集的问题