Disse tre reglene er en korrekt og komplett aksiomatisering av funksjonelle avhengigheter. Denne aksiomatiseringen beskrives noen ganger som endelig fordi antallet slutningsregler er endelig, med forbehold om at aksiomet og slutningsreglene alle er skjemaer, som betyr at , og spenner over alle grunnledd (attributtmengder).