Diseño dirigido por restricciones: una metodología de desarrollo de bases de datos relacionales basada en el modelo Entidad-Relación.