En type logisk implikasjon er definert for funksjonelle avhengigheter på følgende måte: En mengde funksjonelle avhengigheter (sigma) impliserer logisk en annen mengde avhengigheter (gamma) hvis de finnes en relasjon som tilfredsstiller alle avhengigheter fra som også tilfredsstiller alle avhengigheter fra ; dette skrives vanligvis som . En slik logisk implikasjon for funksjonelle avhengigheter medfører en korrekt og komplett aksiomatisering kjent som Armstrongs aksiomer.