Откройте Мейера "Теория реляционных БД" там рассматривются алгортмы приведения к нормальным формам. По крайней мере до 3-й. Однако, как тут уже сказали БД должна не удовлетворять нормальным формам во всех состояниях, чтобы ее нормализовать. Если Вы нормализуете на каком-то состоянии, которе формально и не удовлетворяло, но окажется, что это случайность (на самом деле возможны состояния, которые нарушат те функциональные зависимости на основе которых Ваш алгоритм выявит нарушения НФ), то Вы сделаете тока хуже - потеря информации. Т.е. на практике приходится выявлять функциональные зависмости, которые верны для всех состояний. Поэтому такая прога ниче не даст.