Una tabla está en 4FN si y solo si esta en Tercera forma normal o en FNBC (cualquiera de ambas) y no posee dependencias multivaluadas no triviales.
Una tabla con una dependencia multivaluada es una donde la existencia de dos o más relaciones independientes muchos a muchos causa redundancia; y es esta redundancia la que es suprimida por la cuarta forma normal.
Note que debido a que la tabla tiene una clave única y ningún atributo no-clave, no viola ninguna forma normal hasta el FNBC.
En términos formales, esto se describe como que Variedad de pizza está teniendo una dependencia multivalor en Restaurante.
Wu reporta que en un estudio de cuarenta bases de datos de organizaciones, más del 20% contenía una o más tablas que violaban la 4NF mientras que satisfacen todas las formas normales más bajas.