RedButГоспода, есть спроектированная база из 19 таблиц с кучей связей... вопрос - есть программы, которые позволяют проверить на нормализацию?

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

Все же ФЗ должна быть для всех состояний. А это можно выявить только на основе знаний о ПО. Например, мы знаем, что у человека только один день рождения - ФЗ на лицо. А программе проверяющей, что День рождения, что номер телефона.