I sammenheng med relasjonsdatabaser og databaseteori er det tre hovedtyper funksjonelle avhengigheter:

1. Enkel funksjonell avhengighet :En enkel funksjonell avhengighet (også kjent som en grunnleggende funksjonell avhengighet) er en relasjon mellom to attributter i en relasjon, hvor verdien av en attributt (determinanten) unikt bestemmer verdien av den andre attributten (den avhengige). Dette er representert som A → B, der A er determinanten og B er den avhengige.

2. Multi-vurdert funksjonell avhengighet :En funksjonell avhengighet med flere verdier er en relasjon mellom to sett med attributter i en relasjon, der verdien til ett sett med attributter (determinanten) unikt bestemmer et sett med mulige verdier for det andre settet med attributter (den avhengige). Dette er representert som A →→ B, hvor A er determinanten og B er den avhengige.

3. Bli med funksjonell avhengighet :En sammenføyningsfunksjonell avhengighet er et forhold mellom to sett med attributter i en relasjon, der verdiene til attributtene i det første settet (den venstre determinanten) og verdiene til attributtene i det andre settet (den høyre determinanten) sammen bestemmer verdiene til et tredje sett med attributter (den avhengige). Dette er representert som A⋈B → C, hvor A og B er henholdsvis venstre og høyre determinanter, og C er den avhengige.

I tillegg til disse tre hovedtypene er det også noen mindre vanlige typer funksjonelle avhengigheter, som delvis funksjonelle avhengigheter og betingede funksjonelle avhengigheter.