功能依赖的最小基础

Question

请有人帮助我获得以下FD的最低限度基础。

S = {A-> BD，AB-> C，C-> D BC-> D}

Answer 1

正确的答案是你的第一个猜测：

{ A → B
  A → C
  C → D }

在第二个注释中，已经存在C→D，因此B C→D是多余的。