I virkeligheten kan ikke supernøkler bestemmes bare ved å undersøke en begrenset mengde av tupler i en relasjon. En supernøkkel definerer en funksjonell avhengighet i en relasjonsmodell som gir en begrensning som må gjelde for alle mulige forekomster (instanser) av relasjoner av den gitte relasjonsmodellen (inkludert fremtidige).