Znaczenie pojęcia:

zależność funkcyjna

Pozostałe definicje na literę Z.

ang. functional dependency

Ograniczenie integralnościowe nakładane z zewnątrz na (nieskończoną) rodzinę relacji o wspólnym zestawie atrybutów, stwierdzające, że dla każdej relacji należącej do tej rodziny każda z wartości atrybutu A jest skojarzona z dokładnie jedną wartością atrybutu B; np. wartość atrybutu NR_PRACOWNIKA wyznacza dokładnie jedną wartość atrybutu NAZWISKO. Jest to zapisywane w postaci A * B; mówi się też, że B jest funkcyjnie zależne od A. Zależność funkcyjną można łatwo uogólnić na przypadek, kiedy A i B są zestawami atrybutów. Istnieje aksjomatyka (Armstronga) tworząca prosty system dedukcyjny, pozwalający wnioskować o nowych zależnościach funkcyjnych na podstawie już istniejących zależności funkcyjnych, np. A * BC implikuje A * B oraz A * C. Przy pomocy zależności funkcyjnych można łatwo zapisać i wyjaśnić niektóre anomalie w relacyjnych bazach danych, np. nie spełnienie warunków drugiej i trzeciej formy normalnej. Istniały nadzieje, że teorię zależności funkcyjnych (i innych) uda się wykorzystać do projektowania relacyjnych baz danych. Okazało się jednak, że są one w procesie projektowania praktycznie bezużyteczne, co podważyło sens rozwoju tej teorii

funkcyjna zależność,
dependency functional