I relasjonsdatabaser er en en begrensning mellom to mengder med attributter i en relasjon fra en database. Med andre ord er en funksjonell avhengighet en begrensning mellom to attributter i en relasjon. Gitt en relasjon og mengde med attributter , sies å (skrevet → ) hvis og bare hvis hver verdi i er assosiert med nøyaktig én verdi i ; sies da å tilfredsstille den funksjonelle avhengigheten → . Tilsvarende er projeksjonen en funksjon, altså at er en funksjon av Sagt med enkle ord: Hvis verdiene for -attributtene er kjente (si at de er ) så kan verdiene for -attributtene som tilsvarer bestemmes ved å slå dem opp i en tuppel av som inneholder . Vanligvis kalles og den . En funksjonell avhengighet FD: → kalles triviell hvis er en delmengde av .