> Также у Sybase PowerDesigner'а есть опция Check Model, если интересно - почитай критерии:

К сожалению, практическая польза от этой тулзы стремится к 0.

> http://cs.ifmo.ru/education/documentation/index.shtml

В лучшем случае - бесполезно потраченное время. В худшем - искаженное представление о проектировании.

Вопрос заголовка топика не имеет смысла. Не бывает абстрактно правильных баз данных. Есть базы данных, соответствующие техническому заданию и - не соответствующие. Есть грамотные ТЗ (я ни разу не видел), есть посредственные.