Mappings between schemas are key elements in several contexts such as data exchange,
data integration and peer data management systems. In all these contexts, the mapping
design process requires the participation of a mapping designer, who needs to be able to
validate the mapping that is being defined, ie, check whether the mapping is in fact what the
designer intended. However, to date very little work has directly focused on the effective
validation of schema mappings. In this paper, we present a new approach for validating …