En tabell er på 4NF hvis og bare hvis er en supernøkkel for hver av dens ikke-trivielle flervaluert avhengighet , altså at enten er en kandidatnøkkel eller et overmengde derav.