atributos A,B,C. La dependencia multivaluada A B existe si y sólo si el conjunto de valores de B que se obtiene para un par de valores (A,C) depende sólo del valor de A y es independiente de los valores para C. ejemplo Cuarta Forma Normal (4NF)
Sea R un esquema de relación, R está en 4NF si y
sólo si todas las dep. multivaluadas de la forma: X Y con X ⊆ R e Y ⊆ R se cumple que: X Y es trivial (ej. R=(X,Y) ) X es superclave de R