functional-dependencies - リレーション スキーマ r(A,B,C,D,E,F) に対する関数依存関係の次のセット F を考えてみましょう。

Question

うまくいかずにインストラクターに連絡を取ろうとしましたが、このプロセスを本当に理解したいと思っていますが、資料をどれだけ読んでも、これを私の小さな脳に合わせることができないようです. 誰かが次の質問で私を助けてくれますか?

A-->BCD
BC-->DE
B-->D
D-->A

a. B+ を計算します。

これは次のようなものだと思います。これは正しいようですか？

B+ は B の閉包を表します。
B --> D
B+ = {BD}
D --> A
B+ = {ABD}
A --> BCD
B+ = {ABCD}
BC --> DE
B+ = {ABCDE}

リレーションのすべての属性は B で見つけることができます。したがって、B はリレーションの主キーです。

b. AF がスーパーキーであることを (アームストロングの公理を使用して) 証明します。

F は上記の関係に現れないので、どうすればよいかわかりません。

c. 上記の一連の機能依存関係 F の正規カバーを計算します。導出の各ステップに説明を付けてください。

d. 正準被覆に基づいて r の 3NF 分解を与えます。

Answer 1

リレーションのすべての属性は B で見つけることができます。したがって、B はリレーションの主キーです。

B が関係のすべての属性を判別できる場合、B は候補キーになります。複数の候補キーが存在する可能性があり、1 つの候補キーを「プライマリ」、その他を「セカンダリ」と識別する正式な理由はありません。

しかし、B は関係のすべての属性を決定するわけではありません。Fを決定するものではありません。

F は上記の関係に現れないので、どうすればよいかわかりません。

非公式に言えば、属性が機能依存関係の右側に表示されない場合、それはすべてのスーパーキーの一部である必要があります。

r = {ABCDEF}

AF がスーパーキー (または候補キー) であることを証明するには、関係 R = {ABCDEF} の AF の閉包を計算します。上記と同じ FD を使用します。

Answer 2

1 各 FD を右側の 1 つの att に減らします。

A→B A→C AD BC→D BC→E B→D D→A

2 不要な属性の削除:

BC -> D は B->D に縮小され、BC -> E は B->E に縮小されます。これは、C がどちらにも無関係であるためです。

3 冗長 FD の削除:

A->B、A->C、B->D、B->E、D->A

私が間違っている場合は、誰かが私の答えを修正してください。