En tabell er på EKNF hvis og bare hvis alle dens elementære funksjonelle avhengigheter begynner med hele nøkler eller slutter ved elementære nøkkelattributter. For hver fulle ikke-trivielle funksjonelle avhengighet av formen X→Y, så er enten X en nøkkel eller Y er (en del av) en elementær nøkkel.