Regras Formais na modelagem de banco de dados são regras que devem ser obedecidas pelo projetista na concepção de suas tabelas para que estas sejam consideradas "bem projetadas". Com exceção óbvia da 1FN, que não possui uma FN anterior; para que uma regra formal seja contemplada, a anterior também deve ter sido atendida. Analise as regras formais:
I - Todos os atributos primos dependem não transitivamente de toda a chave primária.
II - Todos os seus atributos são monovalorados e atômicos.
III - Todos os seus atributos não possuem mais de uma dependência funcional multi-valorada.
IV - Todos os atributos primos dependem funcionalmente de toda a chave primária.
A ordem CORRETA para contemplação das quatro regras formais listadas anteriormente é
