W świecie teorii relacyjnych baz danych zależność funkcjonalna istnieje, gdy jeden atrybut jednoznacznie określa inny atrybut w bazie danych. Zwykła zależność funkcjonalna to zależność od bazy danych, która występuje podczas opisywania funkcjonalnej zależności atrybutu lub zbioru atrybutów, który zawiera oryginalny atrybut.
Przykłady trójwymiarowych zależności funkcjonalnych
Ten rodzaj zależności jest wywoływany trywialny ponieważ może pochodzić ze zdrowego rozsądku. Jeśli jedna "strona" jest podzbiorem drugiej, jest uważana za banalną. Lewa strona jest uważana za wyznacznik i prawo zależny .
- {A, B} -> B jest trywialną zależnością funkcjonalną, ponieważ b jest podzbiorem A, B . Od { A, B} -> B obejmuje b , wartość b może być zdeterminowany. Jest to trywialna zależność funkcjonalna, ponieważ określenie B jest spełnione przez jego związek z A, B. Ponieważ wartości b są określane przez wartości ZA , każda inna sekwencja, która dzieli wartości ZA będą miały dokładnie takie same wartości jak b . Innym sposobem na to jest to, że wszystkie b jest zawarte w ZA , dlatego tak jest Tak jak podzbiór.
- {Employee_ID, Employee_Name} -> Employee_ID jest również trywialną zależnością funkcjonalną Numer identyfikacyjny pracownika jest podzbiorem {Employee_ID, Employee_Name} .
- To samo dotyczy A -> A lub Employee_ID -> Employee_ID, i Employee_Name -> Employee_Name . Są to wszystkie trywialne zależności funkcjonalne.
- Jeśli zależność funkcjonalna X-> Y i Y są podzbiorem X, jest to trywialna zależność funkcjonalna. Jeśli Y nie jest podzbiorem X, nie jest to trywialna zależność funkcjonalna.
