Gi 3NF-definisjonen via betingelsen for hver .
Klikk for å snu kortet
For hver ikke-triviell må enten (i) X være en supernøkkel, ELLER (ii) A være et prime-attributt (del av en kandidatnøkkel). Dette eliminerer transitive avhengigheter for ikke-prime-attributter.
Space / Enter for å snu