Transformación de las restricciones especificadas en el modelo Entidad Relación Extendido (EER) al modelo deductivo