函数依赖闭包
在关系模式 R 中,由函数依赖集 F 逻辑蕴含的所有函数依赖构成 F 的闭包,记作 F+。
属性集 X 关于 F 的闭包
设 F 为属性集 U 上的一组函数依赖,X 是 U 的子集,则 X 关于 F 的闭包 XF+ 定义为:
XF+ = {A | X→A 能由 F 根据 Armstrong 公理导出}
XF+ 包含所有由 X 根据 F 推导出的属性。
在关系模式 R 中,由函数依赖集 F 逻辑蕴含的所有函数依赖构成 F 的闭包,记作 F+。
设 F 为属性集 U 上的一组函数依赖,X 是 U 的子集,则 X 关于 F 的闭包 XF+ 定义为:
XF+ = {A | X→A 能由 F 根据 Armstrong 公理导出}
XF+ 包含所有由 X 根据 F 推导出的属性。