BD-2st-1.2-w05.tresc-1.1-Slajd6
Z Studia Informatyczne
Zależności funkcyjne (2)
Należy podkreślić, że zależność funkcyjna określa zależność pomiędzy atrybutami. Jest to własność semantyczna, która musi być spełniona dla dowolnych wartości krotek relacji.
Relacje które spełniają nałożone zależności funkcyjne nazywamy instancjami legalnymi. Zależność funkcyjna jest własnością schematu relacji R , a nie konkretnego wystąpienia relacji. Jeżeli zmieni się relacja, to zależność funkcyjna nadal pozostaje ważna. Zauważmy również, że z zależności funkcyjnej wynika, że jeżeli t1 [ X ] = t 2[X ] i X -> Y , to zachodzi zawsze t1[Y ] = t2[Y ].
