给定以下函数依赖关系,如何计算最小覆盖集合:
A -> B, ABCD -> E, EF -> GH, ACDF -> EG
在讲义中,它给出了最小覆盖的推导过程,但我不理解。
例如,要消除ACDF -> E:
A -> B => AACD -> BACD => E => ACD -> E => ACDF -> E
然后他们说,同样地,我们也不保留ACDF -> G
然后我理解ABCD -> E被推导为ACD -> E,因为A -> B,但我不理解如何正式推导到这一步。
所以我的问题是,有人能提供一个如何生成函数依赖关系最小覆盖集合的解释吗?
A -> B, ABCD -> E, EF -> GH, ACDF -> EG
在讲义中,它给出了最小覆盖的推导过程,但我不理解。
例如,要消除ACDF -> E:
A -> B => AACD -> BACD => E => ACD -> E => ACDF -> E
然后他们说,同样地,我们也不保留ACDF -> G
然后我理解ABCD -> E被推导为ACD -> E,因为A -> B,但我不理解如何正式推导到这一步。
所以我的问题是,有人能提供一个如何生成函数依赖关系最小覆盖集合的解释吗?