///
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.