Как получить минимальный ключ из функциональных зависимостей?

Мне нужна помощь и рекомендации.

У меня есть следующее отношение:R = {A, B, C, D, E, F}и набор функциональных зависимостей

F = {
  {AB -> C};
  {A  -> D};
  {D  -> AE};
  {E  -> F};
}

Что такое первичный ключ для R?

Если я применяю правила вывода, я получаю эти дополнительные зависимости функций.:

D -> A
D -> E
D -> F

D -> AEF

A -> E
A -> F
A -> DEF

Что мне делать дальше?