30 likes | 192 Views
U. A1. A2. A. B. C. 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.
E N D
U • A1 • A2 • A • B • C 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: ({ r1:(A1 | F1), r2:(A2 | F2) }) eine Zerlegung von r Relationentheorie Ó AIFB Wir setzen: A1 A2 = B, A1 = AB, A2 = BC, mit A B= A C = B C = Damit ist: U = ABC Dann gilt: D ist verlustfrei (B A F+ oder B C F+)
1.6.3 Test auf Verlustfreiheit (Verbundtreue) (2|10) • Beispiel 1-17: r: (U | F) • U = {ANR, NAME, PRO#, ABT#} • F = {ANR NAME, ANR ABT#} (1) Zerlegung: r1, r2r1: A1 = {ANR, NAME, ABT#} F1 = {ANR NAME, ABT#}r2: A2 = {PRO#, ABT#} F2 = {} Relationentheorie Ó AIFB A={ANR,Name} B={ABT} C={PRO} Alle funktionalen Abhängigkeiten sind erhalten.Aber: Zerlegung ist nicht verbundtreu, denn: ABT# ANR NAME F+ABT# PRO# F+
1.6.3 Test auf Verlustfreiheit (Verbundtreue) (3|10) Beispiel 1-17 (Fort.) • (2) Zerlegung: r3, r4 • r3: A3 = {ANR, NAME, ABT#}r4: A4 = {ANR, PRO#} B= ANR A= {NAME, ABT#} C= PRO# Relationentheorie Ó AIFB Zerlegung ist verbundtreu wg. B A.