Definíció
Legyen R(A1 ,...,An ) egy relációséma, és P, Q az {A1 ,...,An } attribútumhalmaz részhalmazai. P-től funkcionálisan függ Q (jelölésben P → Q), ha bármely R feletti T tábla esetén valahányszor két sor megegyezik P-n, akkor megegyezik Q-n is, vagyis bármely ti ∈ T és tj ∈ T esetén ha ti (P) = tj (P) akkor ti (Q) = tj (Q).
Elnevezések:
- A P → Q függést triviálisnak nevezzük, ha Q ⊆ P, ellenkező esetben nem triviális.
- A P → Q függést teljesen nemtriviálisnak nevezzük, ha Q ∩ P = 0.
A gyakorlatban általában teljesen nemtriviális függőségeket adunk meg.