Siano uno schema di relazione e un insieme di dipendenze funzionali su .
Le dipendenze transitive sono casi specifici delle dipendenze funzionali, così definite:
è una dipendenza parziale su se non è primo e non è una superchiave (per ogni chiave di si ha che non è contenuto propriamente in e ).
Praticamente e sono disgiunti oppure hanno un intersezione ma nessuno dei due è un sottoinsieme dell’altro.