1. Eenvoudige functionele afhankelijkheid :Een eenvoudige functionele afhankelijkheid (ook wel een functionele basisafhankelijkheid genoemd) is een relatie tussen twee attributen in een relatie, waarbij de waarde van het ene attribuut (de determinant) op unieke wijze de waarde van het andere attribuut (de afhankelijke) bepaalt. Dit wordt weergegeven als A → B, waarbij A de determinant is en B de afhankelijke.

2. Meerwaardige functionele afhankelijkheid :Een meerwaardige functionele afhankelijkheid is een relatie tussen twee sets attributen in een relatie, waarbij de waarde van één set attributen (de determinant) op unieke wijze een set mogelijke waarden bepaalt voor de andere set attributen (de afhankelijke). Dit wordt weergegeven als A → → B, waarbij A de determinant is en B de afhankelijke.

3. Voeg functionele afhankelijkheid toe :Een functionele afhankelijkheid van een join is een relatie tussen twee sets attributen in een relatie, waarbij de waarden van de attributen in de eerste set (de linker determinant) en de waarden van de attributen in de tweede set (de rechter determinant) samen op unieke wijze bepalen de waarden van een derde set attributen (de afhankelijke). Dit wordt weergegeven als A⋈B → C, waarbij A en B respectievelijk de linker en rechter determinanten zijn, en C de afhankelijke.

Naast deze drie hoofdtypen zijn er ook enkele minder vaak voorkomende typen functionele afhankelijkheden, zoals gedeeltelijke functionele afhankelijkheden en voorwaardelijke functionele afhankelijkheden.