ABCとCDEに分解して関数の依存関係を保存する

Question

5つの属性ABCDEを持つ関係Rを考えてみましょう。今度は は、Rが2つの小さな関係ABCとCDEに分解されると仮定します。 Sをリレーション（ABC NaturalJoin CDE）と定義します。 a）上記の分解が無損失結合であると仮定します。可逆結合プロパティを保証する 依存関係は何ですか。 b）この依存関係によって、「依存性の保持」プロパティが に違反するようなFDを追加してください。 c）この 分解によって保存されるFDを2つ追加します。何FDが与えられ、その言い値がないため

質問は私には異なるようだ：それから、私はF「が見つかります

A）

R1=(A,B,C) R2=(C,D,E) R1∩R2 =C (how can i control dependency now) 
F1' = {A->B,A->C,B->C,B->A,C->A,C->B,AB->C,AC->B,BC->A...} 
F2' = {C->D,C->E,D->E....} 

？

B、C）どのようにチェックしますか、私は疑問は間違いなく、それははっきり言っていない事を想定しているR1とR2

Answer 1

可能なすべてのFDのを探すために必要があります。 ABCDEはJD * {ABC、CDE}の対象となる可能性がありますが、他に重要なFDをまったく受けていません。

しかし、関係はいくつかのFDの対象であり、それらが暗示するもの以外のJDの対象ではないとします。 CがCKの場合、結合はロスレスです。しかし、CKがすべての属性を決定し、C - > ABDEが保持するため、C - > ABCDEが成り立ちます。他のFD保有は、結合がロスレスであることを意味するものではありませんが、それは（CKのすべての可能性のあるケースを調べることによって）退屈させること、または示唆するインスピレーションを必要とします。

これらのFDは両方とも可逆性を保証します。しかし、これらのうちの1つが他の保留を保持していれば、同じ状態を表現する。だから問題はうんざりです。あるいは、2つの表現が同じFDをある条件の意味で表現していると考えるかもしれませんが、FDは表現であり条件ではないので、やはりうんざりです。

質問者が本当にあなたに損失のないことを保証するFDをいくつか与えてほしいと思っています。それは合併症を取り除くだろう。