Программы dbdesigntools.sf.net

Библиотека и приложение, которое реализует некоторые алгоритмы относительно теории базы данных: закрытие атрибутов, расчет основных ключей, минимальный набор зависимостей, нормализация и т.д.