函数依赖的最小基础

Minimal Basis of Functional Dependency

请有人帮我得到以下FD的最小基础。

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

正确答案是您的第一个猜测:

{ A → B
  A → C
  C → D }

第二个注意已经有C→D,所以B C→D是多余的