Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Relationentheorie AIFB SS2001 1 Wir setzen: A 1 A 2 = B, A 1 = AB, A 2 = BC, mit A B= A C = B C = Damit ist: U = ABC 1.6.3 Test auf Verlustfreiheit (Verbundtreue)

Ähnliche Präsentationen


Präsentation zum Thema: "Relationentheorie AIFB SS2001 1 Wir setzen: A 1 A 2 = B, A 1 = AB, A 2 = BC, mit A B= A C = B C = Damit ist: U = ABC 1.6.3 Test auf Verlustfreiheit (Verbundtreue)"—  Präsentation transkript:

1 Relationentheorie AIFB SS2001 1 Wir setzen: A 1 A 2 = B, A 1 = AB, A 2 = BC, mit A B= A C = B C = Damit ist: U = ABC 1.6.3 Test auf Verlustfreiheit (Verbundtreue) 1.6.3 Test auf Verlustfreiheit (Verbundtreue) (1|10) (A) Zerlegung in 2 Relationen Satz von Delobel (für Zerlegung in 2 Relationen/ 2 Relationsschemata) Geg.: r: (U | F), und D: ({ r 1 :(A 1 | F 1 ), r 2 :(A 2 | F 2 ) }) eine Zerlegung von r A1 U A2 CBA Dann gilt: D ist verlustfrei (B A F + oder B C F + )

2 Relationentheorie AIFB SS2001 2 1.6.3 Test auf Verlustfreiheit (Verbundtreue) 1.6.3 Test auf Verlustfreiheit (Verbundtreue) (2|10) A={ANR,Name} B={ABT } C={PRO } Beispiel 1-17:r: (U | F) U = {ANR, NAME, PRO#, ABT#} F = {ANR NAME, ANR ABT#} Alle funktionalen Abhängigkeiten sind erhalten. Aber: Zerlegung ist nicht verbundtreu, denn: ABT# ANR NAME F + ABT# PRO# F + (1) Zerlegung: r 1, r 2 r 1 : A 1 = {ANR, NAME, ABT#} F 1 = {ANR NAME, ABT#} r 2 : A 2 = {PRO#, ABT#} F 2 = {}

3 Relationentheorie AIFB SS2001 3 1.6.3 Test auf Verlustfreiheit (Verbundtreue) 1.6.3 Test auf Verlustfreiheit (Verbundtreue) (3|10) (2) Zerlegung: r 3, r 4 r 3 : A 3 = {ANR, NAME, ABT#} r 4 : A 4 = {ANR, PRO#} B= ANR A= {NAME, ABT#} C= PRO# Zerlegung ist verbundtreu wg. B A. Beispiel 1-17 (Fort.)


Herunterladen ppt "Relationentheorie AIFB SS2001 1 Wir setzen: A 1 A 2 = B, A 1 = AB, A 2 = BC, mit A B= A C = B C = Damit ist: U = ABC 1.6.3 Test auf Verlustfreiheit (Verbundtreue)"

Ähnliche Präsentationen


Google-Anzeigen