Se ?? ? ? é uma dependência multivalorada trivial para o esquema de relação R, tal que ?? R e ? ? R, então R está na 4FN (quarta forma normal) com respeito a um conjunto D de dependências funcionais e multivaloradas para todas as dependências multivaloradas em D⁺ da forma ? ? ? ?