BD-2st-1.2-w05.tresc-1.1-Slajd30
Definicja własności zależności wielowartościowych
Teraz krótko scharakteryzujemy własności zależności wielowartościowych. Niech R oznacza schemat relacji, natomiast X , Y są rozłącznymi zbiorami atrybutów schematu R i Z = R – (XY ).
Relacja r(R ) spełnia zależność wielowartościową X ->-> Y , jeżeli dla dwóch dowolnych krotek t1 i t2 z r(R ) takich, że t1[X ] = t2[X ], zawsze istnieją w r(R ) krotki t3 , t4 takie, że spełnione są następujące warunki, przedstawione na slajdzie:
t1 [X ]= t2 [X ] = t3 [X ] = t4 [X ]
t3 [Y ] = t1 [Y ] i t4 [Y ] = t2 [Y ]
t3 [R - X – Y ] = t2 [R – X – Y ]
t4 [R – X – Y ] = t1 [R – X – Y ]
Z symetrii powyższej definicji wynika, że jeżeli w relacji r(R ) zachodzi X ->->Y , to zachodzi również: X ->->[R –X –Y ]. Ponieważ R – X – Y = Z . Powyższy fakt zapisujemy czasami w postaci: X ->-> Y / Z .
