检查函数依赖是否在闭包中
Checking if a functional dependency is in a closure
R=(A,B,C,D,E,F,G)
函数依赖：
A→B
BF→C
AB→F
D→E
以下哪些FD在F+（F的闭包）中？ Select 所有正确答案。
- A→F
- DF→E
- 乙→乙
- A→G
- ABC→C
我们学习了使用反身性和增强来检查它们是否在 F+ 中，但我似乎在 F+ 中找不到任何东西，并且想知道我是否做错了
如何判断一个函数依赖X→Y是否包含在一组函数依赖F的闭包F+中？最简单的方法是计算 X+（属性 X 相对于 F 的集合的闭包）并查看 Y 是否包含在这样的闭包中。
例如，要查看 A → F 是否在 F+ 中，我们按以下方式计算 A、A+ 的闭包：
A+ = A
A+ = AB (since A→B)
A+ = ABF (since AB→F)
并且，由于F属于A+={ABF}，我们知道A→F在F+中。
应该对所有剩余的依赖项进行此测试。
R=(A,B,C,D,E,F,G)
函数依赖：
A→B
BF→C
AB→F
D→E
以下哪些FD在F+（F的闭包）中？ Select 所有正确答案。
- A→F
- DF→E
- 乙→乙
- A→G
- ABC→C
我们学习了使用反身性和增强来检查它们是否在 F+ 中，但我似乎在 F+ 中找不到任何东西，并且想知道我是否做错了
如何判断一个函数依赖X→Y是否包含在一组函数依赖F的闭包F+中？最简单的方法是计算 X+（属性 X 相对于 F 的集合的闭包）并查看 Y 是否包含在这样的闭包中。
例如，要查看 A → F 是否在 F+ 中，我们按以下方式计算 A、A+ 的闭包：
A+ = A
A+ = AB (since A→B)
A+ = ABF (since AB→F)
并且，由于F属于A+={ABF}，我们知道A→F在F+中。
应该对所有剩余的依赖项进行此测试。