I denne definisjonen er en en full funksjonell avhengighet (en ikke-triviell funksjonell avhengighet X → A slik at det ikke er noen funksjonell avhengighet X' → A som også gjelder med X' som en streng delmengde av X), og en er en nøkkel X som det finnes en attributt A for slik at X → A er en elementær funksjonell avhengighet.