1,定义:设F为属性集U上的一组函数依赖集,X包含于U,XF+ = { A | X–>A 能由F根据Armstrong公理导出 },XF+称为属性集X上关于函数依赖集F的闭包。
2,求闭包步骤:
例题1: U = {A,B,C,D,E}, F= { AB–>C ,B -->D, C–>E, EC–>B, AC–>B},求AB的闭包 (AB)F+
解:
例题2: U= {A,B,C,D,E,G,H,P}, F= { AB–>CE, A–>C,GP–>B, EP–>A, CDE–>P, HB–>P, D–>HG, ABC–>DG},求D的闭包DF+
解: