定义:若F为关系模式求闭包R(U)的函數依赖集我们把F以及所有被F逻辑蕴涵的函数依赖的集合称为F的闭包,记为F+
△ F包含于F+,如果F=F+则F为函数依赖的一个完备集。
△ 规定:若X為U的子集X→Φ 属于F+。
关系模式求闭包R<U,F>若有n个属性则在模式R上可能成立的函数依赖有4n个,其中n个属性中组合成X有2n个,组合成Y有2n个
解:∵U={A,BC},左部不同的属性集组合有23=8种:
∴A→Φ、A→A、A→C、A→AC
∴B→Φ、B→B、B→C、B→BC。
所以F+共有35个具体如下:
∴Φ→Φ、A→?、A→A、A→C、A→AC