Abstract: A crucial aspect when building a system which integrates data from multiple sources is to define mappings between schemas of the different sources. Using rewriting techniques, such mappings ...