函数依赖集的闭包 F:FD的集合称为函数依赖集. F闭包:由F中的所有FD可以推导出所有FD的集合,记为F+. 例1,对于关系模式R(ABC),F={A→B,B→C},求F+. 根据FD的定义,可推出F+={φ→φ,A→φ,A→A,A→B,A→C,A→AB,A→BC,A→ABC,…},共有43个FD.其中,φ表示空属性集. 属性集闭包 属性集闭包定义 :对F,F+中所有X→A的A的集合称为X的闭包,记为X+.可以理解为X+表示所有X可以决定的属性. 属性集闭包的算法: A+:将A置入A+.对每一