Минимальное покрытие и функциональные зависимости

Учитывая следующие функциональные зависимости, как бы я вычислил минимальное покрытие:

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 , но я не понимаю формальный процесс того, как добраться до этого.

Итак, мой вопрос: может ли кто-нибудь объяснить, как сгенерировать минимальное покрытие для набора функциональных зависимостей?