データベース理論の仕事の章VIII
8.29
上の関数従属FリレーショナルスキーマR(A、B、C、D、E、F)の次のセットを考えます。
A-> BCD BC-> DE B-> D D-> A
-
。計算B +
最初に生じる= B。
B-> D、結果ので=B∪D= BDからです。
D-> Aので、結果ので=BD∪A= ABD。
A-> BCD、その結果=ABD∪BCD= ABCDからです。
BC-> DEので、結果ので=ABCD∪DE= ABCDE。
最終結果は、B + = ABCDE
-
B。(アームストロングの公理を使用して)AFは、スーパーサイズ証明されました
A-> BCDので、A-> ABCD(加算Aの両側に追加されたレートは、)ので
BC-> DE、そうABCD - > ABCDE(追加されたレート、両側追加さABCD)以来
こうしてA-> ABCDE(転送レート)
したがってAF-> ABCDEF(追加されたレート、両側追加されF)
AFは、AFがスーパーサイズであるように、即ち、AF閉鎖は、すべての属性が含まれ、すべてのプロパティために導入することができます
-
。Cは、通常のカバレッジF関数依存性を計算し、導出するステップは、与えられたと説明されています
同じ第1の要素の左側には、機能依存することなく組み合わせることができることを確認し、そう無関係なプロパティを表示します。B-> Dので、A-> BCD及びBC-よう> DE独立特性がD(A-> B、B-> DであるA-> BCは、A-> D結合ので、それは、A-> Dであります放出することができるA-> BCD; B-> D BC-> D、BC-> EがBC-結合よう> Dを記述することができるBC-よう> DE; D)は特性とは無関係であり、したがって式がに簡略化することができます。
A-> BC BC-> E B-> D D-> A
B-> D、D-> A、A-> BCので、従ってB-> C、BC-よう> E Cは、特性とは無関係であるに簡略化することができます。
A-> BC B-> E B-> D D-> A
B左の二つは組み合わせることが可能です。
A-> B- BC> DE D-> A
それは何の現在の独立した性質を発見していないので、この場合は、通常のカバレッジFであります
-
D。定期的なカバレッジ、与えられたR、分解に基づくBCNF
、R1(A、B、C)R2(B:レギュラーカバレッジ余分な機能依存するので、このような属性の正規カバーのサブセットからなる他の機能の依存関係を設定し、このように三つの機能依存性は、本明細書に独自の関係を有しますD、E)R3(D)とは、我々は、F超AFコードとしてではなく、関係が元のコードの関係を超えないことを特徴とする性質は、R4(F)を添加する必要があることを見出しました
最終的な結果であるので:R1(A、B、C)R2(B、D、E)R3(D、A)R4(A、F)
-
すなわち従属関数の元のセット、与えられたR、分解を用いBCNF
開始:R = {A、B、C、D、E、F}
A-> BCD Aではなく、スーパーコードので、BCNFのR、分解を満たしていません。
STEP1:R = R1(A、B、C、D)、R2(A、E、F)
A-ため> E F +は、機能依存性であり、したがってBCNF R2、分解を満たしていません
STEP2:R = R1(A、B、C、D)、R2(A、F)、R3(A、E)
利用できるテストは今BCNFに沿ったものです
-
F。あなたはBCNF分解のRは上記と同じを得る定期的なカバレッジを使用することはできますか?
分解BCNF上記正規rで同じカバレッジを得るために、直接分解BCNFは、元の関数を推測必要としないと依存BCNF破壊が正から覆う同じBCNFの分解することにより得ることができること
8.33
Cの場合はそうではなくてください反例場合、証明してください> - リレーショナルスキーマR(A、B、C、D)を考えると、A - > - > BC論理的含意Aかどうか - > - > BとA - >?
回答:私は推測することはできません。
まず、これを満たすAのように、単純なR(A、B、C、D)を構築 - > - > BC、書き込みが容易:
A | B | C | D |
---|---|---|---|
A1 | B1 | C1 | D1 |
A1 | B2 | C2 | D2 |
A1 | B1 | C1 | D2 |
A1 | B2 | C2 | D1 |
このテーブルA - > - > BCを設立しました。
Aは、場合 - > - > Bを設定することができ、あなたは次の式を設定する必要があります。
- T1 [A] = T2 [A] = T3 [A] = T4 [A]
- T3 [B] = T1 [B]
- T3 [RB] = T2 [RB]
- T4 [B] = T2 [B]
- T4 [RB] = T1 [RB]
式3および式5を満足していない明らかに、それは、Aは - > - > Bが満たされていない、共感A - > - > Cが満たされていません。
すなわち、Aは - > - > - - > BとA - > BCがAを起動することができない> - > Cを確立しました
主な理由は、多値依存性のみのシンプルなデザインの属性に関係のない、より複雑であり、また、他の属性に関連付けられています。