I en relasjonsdatamodell er en en mengde av attributter som unikt identifiserer hver tuppel (sekvens av elementer) av en relasjon. Siden supernøkkelverdier er unike medfører det at tupler med samme supernøkkelverdi også må ha de samme ikke-nøkkel attributtverdiene. Altså er ikke-nøkkel-attributter funksjonelt avhengige av supernøkkelen.