En viktig egenskap (som gir en umiddelbar anvendelse) av funksjonelle avhengigheter er at hvis er en relasjon med kolonner navngitt fra en mengde attributter og tilfredsstiller en funksjonell avhengighet → så er hvor = − . Intuitivt, hvis en funksjonell avhengighet → holder i , kan relasjonen trygt deles i to relasjoner ved siden av kolonnen (som er en nøkkel for ) som sikrer at når de to delene skjøtes sammen tilbake går ingen data tapt. Altså vil en funksjonell avhengighet gi en enkel måte å konstruere en tapsfri skjøte-dekomponering av i to mindre relasjoner. Dette faktumet kalles noen ganger , og er et av de tidlige resultatene innen databaseteori.