I forbindelse med relationelle databaser og databaseteori er der tre hovedtyper af funktionelle afhængigheder:
1. Simpel funktionel afhængighed :En simpel funktionel afhængighed (også kendt som en grundlæggende funktionel afhængighed) er et forhold mellem to attributter i en relation, hvor værdien af den ene attribut (determinanten) entydigt bestemmer værdien af den anden attribut (den afhængige). Dette er repræsenteret som A → B, hvor A er determinanten og B er den afhængige.
2. Multivalueret funktionel afhængighed :En funktionel afhængighed med flere værdier er et forhold mellem to sæt attributter i en relation, hvor værdien af et sæt attributter (determinanten) entydigt bestemmer et sæt mulige værdier for det andet sæt attributter (den afhængige). Dette er repræsenteret som A →→ B, hvor A er determinanten og B er den afhængige.
3. Deltag funktionel afhængighed :En sammenføjningsfunktionel afhængighed er et forhold mellem to sæt attributter i en relation, hvor værdierne af attributterne i det første sæt (den venstre determinant) og værdierne af attributterne i det andet sæt (den højre determinant) sammen entydigt bestemmer værdierne af et tredje sæt attributter (de afhængige). Dette er repræsenteret som A⋈B → C, hvor A og B er henholdsvis venstre og højre determinanter, og C er den afhængige.
Ud over disse tre hovedtyper er der også nogle mindre almindelige typer af funktionelle afhængigheder, såsom partielle funktionelle afhængigheder og betingede funktionelle afhængigheder.