A conversion rule specifies how a data instance in the input data structure is converted to zero, one, or more instances in the output data structure. The conversion rules are defined and based on the concepts of the conceptual schema language C and on the concepts of the output data structure schema D.