Una tabla se encuentra en 4FN si, y solo si, para cada una de sus dependencias multivaluadas no funcionales X formula_1 Y, siendo X una super-clave que, X es una clave candidata o un conjunto de claves primarias.