Bevis av den transitive lov for flerverdiavhengighet
Posted: 31/03-2008 18:48
Sitter fast på denne, noen som har noen hint hvordan jeg burde gå frem? Oppgaven er en del av en obligatorisk oppgave, så jeg ønsker bare hjelp til å løse den, ikke et komplett løsningsforslag.
Oppgave:
Bevis den transitive loven for flerverdiavhengigheter (Multivalue dependency):
Hvis X →> Y og Y →> Z, så vil X →> (Z \ Y)
(Merk at beviset gjelder for Bags ikke Sets)
Oppgave:
Bevis den transitive loven for flerverdiavhengigheter (Multivalue dependency):
Hvis X →> Y og Y →> Z, så vil X →> (Z \ Y)
(Merk at beviset gjelder for Bags ikke Sets)