Una especificación de las correspondencias entre objetos en un modelo conceptual y en un modelo de almacenamiento.