数据库：求函数依赖集闭包和属性集闭包

1. 函数依赖集闭包的定义

定义1：若给定函数依赖集 F，可证明其他函数依赖也成立，则称这些函数依赖被 F 逻辑蕴涵

定义2：令F为一函数依赖集，F 逻辑蕴涵的所有函数依赖组成的集合称为F 的闭包，记为 F+

计算方法是 Armstrong公理的推理规则

举例：

        自反律：(A,B) → B

        增补律：(A,B) → C，则 (A,B, D, E) → (C, D, E)

        传递律：A → B，B → C，则 A → C

        合并律：A → B，A → C，则 A → (B, C)

        分解律：A → (B, C)，则 A → B，A → C

        伪传递律：A → B，(B, C) → D，则 (A, C) → D

例题：令 r(R) = r(A, B, C, G, H, I)，函数依赖集F = {A→B, A→C, CG→H, CG→I, B</