En til R er en attributt som ikke tilhører noen kandidatnøkkel til R. En transitiv avhengighet er en funksjonell avhengighet der → ( bestemmer ) indirekte, i kraft av → og → (hvor det ikke er slik at → ).