Im Kontext relationaler Datenbanken und der Datenbanktheorie gibt es drei Haupttypen funktionaler Abhängigkeiten:

1. Einfache funktionale Abhängigkeit :Eine einfache funktionale Abhängigkeit (auch als grundlegende funktionale Abhängigkeit bezeichnet) ist eine Beziehung zwischen zwei Attributen in einer Beziehung, wobei der Wert eines Attributs (der Determinante) eindeutig den Wert des anderen Attributs (der abhängigen) bestimmt. Dies wird als A → B dargestellt, wobei A die Determinante und B die Abhängige ist.

2. Mehrwertige funktionale Abhängigkeit :Eine mehrwertige funktionale Abhängigkeit ist eine Beziehung zwischen zwei Attributsätzen in einer Beziehung, wobei der Wert eines Attributsatzes (der Determinante) eindeutig einen Satz möglicher Werte für den anderen Attributsatz (die abhängige) bestimmt. Dies wird als A →→ B dargestellt, wobei A die Determinante und B die Abhängige ist.

3. Funktionale Abhängigkeit beitreten :Eine funktionale Verknüpfungsabhängigkeit ist eine Beziehung zwischen zwei Sätzen von Attributen in einer Beziehung, wobei die Werte der Attribute im ersten Satz (die linke Determinante) und die Werte der Attribute im zweiten Satz (die rechte Determinante) zusammen eindeutig bestimmen die Werte eines dritten Satzes von Attributen (der abhängigen). Dies wird als A⋈B → C dargestellt, wobei A und B die linke bzw. rechte Determinante und C die abhängige ist.

Zusätzlich zu diesen drei Haupttypen gibt es auch einige weniger verbreitete Arten funktionaler Abhängigkeiten, wie z. B. partielle funktionale Abhängigkeiten und bedingte funktionale Abhängigkeiten.