Se α→ → β é uma dependência multivalorada trivial para o esq...

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 α → → β