http://blog.csdn.net/wx782870649/article/details/7034086
概念:设 F 是属性集合 U 上的一个函数依赖集,X ∈ U,称 X+ = { A|A∈U,X → A 由 F 按照 Armstrong 公理系统推导得到 } 为属性集的 x 关于 F 的闭包。
举个例子:设有关系模式 R(U,F),U = ABC,F={A→B,B → C},则有 A 的闭包 A+ = ABC,B+=BC,C+=C。
说白话一点:闭包就是由一个属性直接或间接推导出的所有属性的集合。
有求闭包实例http://www.cnblogs.com/gulvzhe/archive/2013/05/24/3096913.html 例如:f={a->b,b->c,a->d,e->f};由a可直接得到b和d,间接得到c,则a的闭包就是{a,b,c,d}
源码http://0503521.blog.51cto.com/4266787/1241813