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

Question

我想知道是否有一种算法来计算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 + by X - ＆gt; X + ，但通常你不需要计算所有的f +，你只需要找到依赖是否存在。