Especificación declarativa del reforzamiento de restricciones de asociaciones en esquemas conceptuales.