jesteś w >> podstawy >>zaleznosci
Zależności
Zależność funkcjonalna
Atrybut B relacji R jest funkcjonalnie zależny od atrybutu A jeżeli dowolnej wartości a trybutu A odpowiada nie więcej niż jedna wartość b atrybutu BA → B
Niech X i Y będą podzbiorami zbioru atrybutów
relacji R
X ⊂ { A1...An}
Y ⊂ { A1...An}
podzbiór atrybutów Y zależy funkcyjnie od
podzbioru atrybutów X, jeżeli nie jest możliwe,
by relacja R zawierała dwie krotki mające
składowe zgodne tzn. identyczne dla wszystkich
atrybutów ze zbioru X i jednocześnie co
najmniej jedną niezgodną składową dla
atrybutów ze zbioru Y
- Zbiór atrybutów Y jest w pełni funkcjonalnie zależny od zbioru atrybutów X w schemacie R, jeżeli:
X → Y
i jednocześnie nie istnieje:
X' ⊂ X takie, że X' ⊂ Y
Zależność funkcjonalna - przechodniość
Niech X, Y i Z będą trzema rozłącznymi podzbiorami atrybutów danej relacji.Z jest przechodnio funkcjonalnie zależny od X,
jeśli Z jest funkcjonalnie zależny od Y i Y jest
funkcjonalnie zależny od X natomiast X nie jest
zależny od Y i Y nie jest zalezny od Z
Zależność wielowartościowa
Podzbiór atrybutów Y jest wielowartościowo funkcjonalnie zależny od podzbioru X w schemacie R, jeżeli dla dowolnej relacji r w schemacie R i dla dowolnej pary krotek t1 i t2 z relacji r istnieje taka para krotek że :s1[X]=s2[X]=t1[X]=t2[X] i
s1[Y]= t1[Y] i s1[R-X-Y]=t2[R-X-Y] i
s2 [Y]= t2[Y] i s2
[R-X-Y]=t1[R-X-Y]
| krotka | nazwisko | imię | nazwa kursu |
|---|---|---|---|
| t1 | Burta | Anna | pedicure |
| t2 | Burta | Jan | majsterkowanie |
| s1 | Burta | Anna | majsterkowanie |
| s2 | Burta | Jan | pedicure |
| Balon | Albert | majsterkowanie | |
| Balon | Albert | pedicure |
t1[X]=t2[X]=s1[X]=s2[X]=(Burta)
s1[Y]= t1[Y]=(Anna) i
s1[R-X-Y]=t2[R-X-Y]=(majsterkowanie) i
s2 [Y]= t2[Y]=(Jan) i
s2
[R-X-Y]=t1[R-X-Y]=(pedicure)
[ wróć na górę strony ]
