[解決済み] 機能依存の最小限の根拠

質問

以下のFDの最小限の根拠を得るために、どなたかご協力をお願いします。

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

解決方法は？

正解は、あなたの最初の推測です。

{ A → B
  A → C
  C → D }

2つ目は、すでにC → Dがあるので、B C → Dは冗長であることに注意してください。