属性集的闭包 给定属性集合α,定义α在F下的闭包(记做a)为被α 在F下函数决定的属性的集合: →>β is in f+ A阝∈Q 计算α+的算法 result =a while( result有变化)do for eachβ→> y in F do begin ifβ∈ result then result:= resultS end属性集的闭包 • 给定属性集合 , 定义 在F 下的闭包 (记做+ ) 为被 在F 下函数决定的属性的集合: → is in F + + • 计算+ 的算法 result := ; while (result 有变化) do for each → in F do begin if result then result := result end