One of the new features of AllFusion ERwin Data Modeler is the ability to perform validity checks of your model.  This new feature is available only for physical models.  If your models are Oracle DBMS models they can be checked against a fairly large number of criteria.  If your models are non-Oracle, then there is a relatively small set of criteria.