A specification of the correspondences between items in a conceptual model and items in a storage model.