Bestemmelse av funksjonelle avhengigheter er viktig i utforming av databaser i relasjonsmodellen, og i databasenormalisering og denormalisering. En enkel anvendelse av funksjonelle avhengigheter er Heaths teorem som sier at en relasjon over en attributtmengde og som tilfredsstiller en funksjonell avhengighet → trygt kan deles i to relasjoner som har tapsfri skjøte-dekomposisjon til hvor = − er resten av attributtene. (Unioner av attributtmengder stilles vanligvis opp ved siden av hverandre i databaseteori.) Et viktig element i denne sammenhengen er en kandidatnøkkel definert som en minimalt mengde attributter som funksjonelt bestemmer alle attributtene i en relasjon. De funksjonelle avhengighetene, sammen med attributtdomenenet, velges slik at man genererer begrensninger som vil ekskludere så mye data som er upassende for brukerdomenet fra systemet som mulig.