如何在不使用阿姆斯特朗公理的情况下计算 f+

Question

我想知道是否有一种算法可以在不使用 Armstrong 公理的情况下计算 f+。 如果不是，计算所有可能的依赖闭包是否会给出 f+？ 例如使用这些关系和功能依赖： R=(C,T,H,R,S,G) F=(C->T, HR->C, HT->R, CS->G, HS->R) 计算 C+,T+,H+,R+,S+,G+,CT+,CH+, CR+... 最终会得到 f+吗？

谢谢。

Answer 1

计算依赖项左侧 X 中的每个属性闭包将为您提供 f+ X -> X+，但通常不需要计算所有 f+，只需要查找是否存在依赖项。