---

Geschrieben von clyon am 30.11.2018 um 15:41:

  Kanonische Überdeckung

Hey, ich wollte Fragen wenn man jetzt die Kanonische Überdeckung "berechnet" ist diese dann verlustfrei bzw abhängigkeitsbewahrend ist?

---

Geschrieben von as_string am 30.11.2018 um 16:11:

 

Ich verstehe nicht ganz die Frage... Also die kanonische Überdeckung ist ja die kleinste Menge funktionaler Abhängigkeiten, die äquivalent zu einer gegebenen Menge funktionaler Abhängigkeiten ist.
Also ja, das ist natürlich dann "verlustfrei", in dem Sinne, dass beide ja äquivalent sind. Aber es kommt letztlich drauf an, was Du jetzt genau unter "verlustfrei" verstehst.

Kannst Du Deine Frage nochmal etwas genauer beschreiben?

Gruß
Marco

---

Geschrieben von clyon am 30.11.2018 um 16:29:

 

hm naja im allgemeinen versuche ich gerade Verlustlosigkeit und Abhängigkeitsbewahrung bei Zerlegungen zu verstehen:
sagen wir ich habe: R0 ({A,B,C,D,E,F}, {A -> DCF, D -> F, AD -> ACD})
Die kanonische Überdeckung:

D->F
A->CD
Da ich weiss dass dieses Schema nicht in der 3NF. ist muss ich es zerlegen:
R1{DF}{D-> F}
R2{ACD}{A->CD}
Und jetzt sollte ich ja überprüfen ob es sich hierbei um eine verlustfreie und abhängigkeisterhaltene Zerlegung handelt:
Verluslos:
Um Verlustlosigkeit zu überprüfen gibt es zwei Techniken und das verwirrt mich an diesem Beispiel:
1. Technik: InnerJoin wenn ich R1 InnerJoin R2 mache komme ich nicht mehr zu meiner ursprünglichen Relation:R0 weil uns E und B fehlen also NICHT verlustfrei!
2. technik R1 schnitt R2 = D -> R1 also Verlustfrei!
-----wende ich hier einer der angeführten Techniken falsch an?----

Bei meiner nächste Frage geht es um die Abhängigkeitsbewahrung:
Muss ich hier die Abhängigkeiten der Kanonischen Überdeckung(D->F
A->CD) mit den Äbhänigkeiten der zerlegten Relationen vergleichen? oder die Abhängigkeiten die uns von Anfang an gegeben werden{A -> DCF, D -> F, AD -> ACD} mit den Äbhänigkeiten der zerlegten Relationen vergleichen?

---

Geschrieben von as_string am 30.11.2018 um 22:33:

 

Wir hatten das damals nicht so ausführlich gemacht, zumindest so weit ich mich erinnern kann... aber:

Zur Technik 1: Es geht darum, ob sich durch einen Join alle Tupel (also Zeilen) wiederherstellen lassen, nicht um die Komponenten der Tupel (also Spalten A bis F)

Aber ich kann mir im Moment nicht vorstellen, wie man das hier beweisen kann.

---

Geschrieben von as_string am 30.11.2018 um 22:40:

 

Schau Dir das mal an, finde das recht interessant:
http://www.informatik.uni-ulm.de/dbis/papers/vdb-buch/vdb99_03.pdf