Normalization cannot be done by machines, because it depends on expressing the (and only the) predicate that corresponds to the business rule in question.
It requires apprehending the essence of the situation, something a machine cannot do.
It requires apprehending the essence of the situation, something a machine cannot do.
It is literally impossible for that to be done automatically. Someone needs to look at the resulting code and confirm that that was the case.