Ronald Fagin demostró que es siempre posible alcanzar la 4NF (pero no siempre deseable).