En tabell sies å være på 5NF hvis og bare hvis hver ikke-trivielle skjøteavhengighet i den tabellen er underforstått av kandidatnøklene.