Uma dependência !$ X → Y !$,em um esquema de relação R, será uma dependência transitiva se existir um conjunto de atributos Z que não é nem uma chave candidata nem um subconjunto de qualquer chave de R, e ambas!$ Y → Z !$ e !$ Z → X !$ forem asseguradas.