Was ist die kanonische Abdeckung, Verschluss-und Fremd-Attribut?

Ich weiß, ich bin spät, aber vielleicht hat jemand fällt irgendwann.

Ich denke, dass Sie einige Fehler gemacht:

Für die Schließungen:

• B+ sollte ABCDEF eher als BCDEF weil der FD C → A
• C+ sollte AC (Schließung ein Attribut enthält immer selbst)
• G+ ist G finden Sie unter Grund die zweite Kugel

Zur Berechnung der kanonischen Abdeckung, Folgen Sie diesen Algorithmus. Sie müssen sich an Ihre Liste mit den funktionalen Abhängigkeiten:

1. Links-Reduktion: versuchen, um alle Attribute zu entfernen von der linken Seite des Pfeils, die nicht erforderlich sind, um dieselbe Schließung.
   Um das erste Beispiel AB → C können Sie berechnen ABs-Verschluss, das wäre ABCDEF. Sie dann versuchen, Sie zu entfernen A Ende mit B → C. Nun berechnen Sie die Schließung der B nur, die ist noch ABCDEF -> Sie entfernen können A.
   Am Ende von diesem Schritt Ihre FD Aussehen sollte {B → C, B → E, C F → D, C → A, B → F, C E → F, C D → B, B → C, G → G}.
2. Jetzt machst du das gleiche für die Rechte Seite. Beachten Sie, dass Sie können entfernen alle Attribute hier, wenn Sie wollen, am Ende mit der leeren Menge. Als ein Beispiel, betrachten B → F: die Schließung von B ist ABCDEF. Wenn Sie entfernen die F aus der funktionalen Abhängigkeit, der am Ende mit B → ∅ Sie immer noch die gleiche Schließung für B wie vorher. Wiederholen für die andere FDs.
   Sie sollten am Ende mit {B →∅, B → E, C F → D, C → A, B →∅, C E → F, C D → B, B → C, G →∅}.
3. Entferne alle FDs der form X → ∅. Sie am Ende mit {B → E, C F → D, C → A, C E → F, C D → B, B → C}.
4. Kombinieren Sie alle FDs, die die gleiche auf der linken Seite der Pfeil, der führt zu einer kanonischen cover {B → C E, C F → D, C → A, C E → F, C D → B}.

Für die superkeys: siehe diese SO beantworten

InformationsquelleAutor Lukas_Skywalker

Meine Antwort ist abgeleitet von dem Algorithmus in Database System Concepts by Korth.

Sind die Verschlüsse A+,B+,C+,D+,E+,F+, berechnet auf diese Weise?
Schritte zu berechnen, die Schließung von (A,B,C,D,E,F) unter F sagen wir nehmen für B

1. Ergebnis = {B}
2. wiederholen
3. für jede funktionale Abhängigkeit(e.g B -> E) in F tun
4. beginnen
5. wenn B ist Teilmenge von Ergebnis
6. dann result(i.e B) = result(i.e B) U {E}
7. Ende
8. bis(Ergebnis nicht mehr ändert)

In dieser Weise die Verschlüsse der folgenden:
A+ = A

B+ = ABCDEF

C+ = AC

D+ = D

E+ = E

F+ = F

Zu prüfen, wie ein Attribut ist eine zusätzliche:
Ein Attribut Eine ist Fremd in Abhängigkeit von alpha(AB) -> beta - (C) wenn

1) Eine gehört zur beta(die nicht im aktuellen Fall), dann erstellen Sie neue FD
F' = (F-{alpha -> beta}) U {alpha -> (beta - alpha)}
und prüfen Sie, ob alpha+ under F'(**not F**) includes A, dann A ist Fremd in beta.

2) Eine gehört alpha(was richtig ist), dann erstellen Sie eine neue gamma{B} = alpha({AB}) - {A} und überprüfen Sie, ob gamma+(i.e B+) unter **F** i.e ABCDEF enthält alle Attribute in beta({C}) und was wahr ist. So Eine ist Fremd in AB->C.

ebenso prüfen, ob C ist Fremd in AB->C. Also von den oben vorgeschlagen algo

1. F' : AB -> NULL; B →E; CF →D; C →A; B →F; CE →F; CD →B; B →C
2. Berechnen AB+ unter F' ich.e ABCDEF umfasst C . So Cist Fremd in AB-> C.

Wie die Berechnung kanonische cover?

Algo:

1. F' = F
2. Wenn es irgendeine FD wie A->B and A->C dann ersetzen durch A->BC(union rule)
   Hier die F' geworden : AB -> C; B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
3. Finden, das fremde(Links/rechts) in F' ich.e A is extraneous in AB->C so entfernen A from AB->C , so dass es zur B->C - und update -F'.
4. Prüfen Sie nun ob die F' verändert wird, wie die vorherigen. Wenn geändert goto Schritt 2 und wiederholen Sie, bis Sie die F' nicht mehr ändert.

(Erläuterung weitere Iterationen wie folgt:
itr2:
F' : B -> C; B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
F' : B-> CEF; C -> A; CD-> B; CE-> F; CF-> D
Überprüfen Sie nun C in B-> CEF, der ist nicht Fremd
Prüfen Sie E , was auch nicht Fremd.
schauen Sie F ,die Fremd ist.
So neue F' : B-> CE; C -> A; CD-> B; CE-> F; CF-> D

itr3:
F' : B-> CE; C -> A; CD-> B; CE-> F; CF-> D
nach diesem gibt es keine weitere überflüssige Attribut gefunden.

Also die kanonische cover von F sind :

B-> CE

C -> A

CD-> B

CE-> F

CF-> D

Lassen Sie mich wissen, wenn Sie haben einige Fehler in der Logik oben vorgeschlagen.

InformationsquelleAutor Sanjeev