Der Satz von Delobel von Claude Delobel liefert eine einfache Moglichkeit um zu uberprufen ob zwei Fragmente einer Relation in einer Datenbank eine verlustfreie Darstellung der Ausgangsrelation sind Eine Zerlegung von Relationen ist notig um das Entstehen von Anomalien zu vermeiden Inhaltsverzeichnis 1 Formale Darstellung 2 Beispiel 3 Siehe auch 4 QuellenFormale Darstellung BearbeitenIn diesem Artikel oder Abschnitt fehlen noch folgende wichtige Informationen Die Bedingung an Verlustfreiheit referiert nirgends auf die ursprungliche Attributmenge U hangt also von der nicht ab und ist also unsinnig Offenbar gehen hier noch unausgesprochene Annahmen ein daruber was uberhaupt eine Zerlegung ist Die sollte man dann aber ausdrucklich angeben Entsprechendes gilt fur F und F1 F2 Daruber hinaus fehlt eine Erlauterung des oder Quelle zum APLUS Algorithmus ohne den die leicht mogliche Prufung mangels Alternative nicht oder nur nicht leicht moglich stattfinden kann Hilf der Wikipedia indem du sie recherchierst und einfugst Gegeben seien die Relation r U F displaystyle r U mid F nbsp und ihre Zerlegung D r 1 A 1 F 1 r 2 A 2 F 2 displaystyle D r1 A 1 mid F 1 r2 A 2 mid F 2 nbsp mit U A 1 A 2 displaystyle U A 1 cup A 2 nbsp und F F 1 F 2 displaystyle F F 1 cup F 2 nbsp Wir setzen A 1 A 2 B A 1 A B displaystyle A 1 cap A 2 B A 1 AB nbsp und A 2 B C displaystyle A 2 BC nbsp mit A B A C B C displaystyle A cap B A cap C B cap C emptyset nbsp D ist verlustfrei B A F displaystyle Longleftrightarrow B rightarrow A in F nbsp oder B C F displaystyle B rightarrow C in F nbsp 1 2 Nun muss man nur noch die letzte Bedingung uberprufen was mit Hilfe des APLUS Algorithmus leicht moglich ist Beispiel BearbeitenDie Ausgangsrelation ist definiert als r a b c d e a b c d d b c e d e displaystyle r a b c d e mid a rightarrow bcd d rightarrow bce d rightarrow e nbsp mit Zerlegungenr 1 a b c d a b c d displaystyle r 1 a b c d mid a rightarrow bcd nbsp und r 2 b c d e d b c e d e displaystyle r 2 b c d e mid d rightarrow bce d rightarrow e nbsp Damit verteilen sich die Attribute folgendermassen Menge AttributeB b c dA aC eNach Delobel folgt hieraus dass die Zerlegung verlustfrei ist wenn gilt b c d a F displaystyle bcd rightarrow a in F nbsp oder b c d e F displaystyle bcd rightarrow e in F nbsp Aus d e F displaystyle d rightarrow e in F nbsp folgt unmittelbar dass auch b c d e F displaystyle bcd rightarrow e in F nbsp Siehe auch BearbeitenFunktionale Abhangigkeit Normalisierung von DatenbankenQuellen Bearbeiten Wolffried Stucky Tatyana Podgayetskaya Datenbanksysteme Sommersemester 2003 Ubungsblatt 1 PDF 17 kB Institut fur Angewandte Informatik und Formale Beschreibungsverfahren AIFB des Karlsruher Institut fur Technologie KIT 7 Mai 2003 abgerufen am 3 Dezember 2021 Wolffried Stucky Tatyana Podgayetskaya Datenbanksysteme Sommersemester 2003 Losung zu Ubungsblatt 1 PDF 661 kB Institut fur Angewandte Informatik und Formale Beschreibungsverfahren AIFB des Karlsruher Institut fur Technologie KIT 26 Mai 2003 abgerufen am 3 Dezember 2021 Abgerufen von https de wikipedia org w index php title Satz von Delobel amp oldid 217843393
