database - 给定与 FD 的关系，计算属性集的闭包

Question

Consider the relation schema R = ABCDG with following functional dependencies (FD)

AB  -> C
C   -> A
BC  -> D
ACD -> D
D   -> EG
BE  -> C
CG  -> BD
CE  -> AG

Compute closure of BD and CA.

我们如何找到它们？

Answer 1

一组函数依赖F的闭包，表示F逻辑上隐含的所有函数依赖。例如，给定

• BC -> D，和
• D -> EG

我们可以申请Armstrong's axioms得出

• D -> E,
• D -> G,
• BC -> E,
• BC -> G,

等等。

当您推导出F 隐含的每个 FD 时，您就有了 F 相对于 R 的闭包。在您的情况下，您想导出 BD 和 CA 逻辑上隐含的每个 FD。

据我所知，每本有关关系数据库理论的教科书都包含一个或多个算法来计算一组函数依赖的闭包。最好的办法是遵循教科书中的一种算法(如果有的话)。