@InCollection{sallinger:DFU.Vol5.10452.97, author = {Sallinger, Emanuel}, title = {{Reasoning about Schema Mappings}}, booktitle = {Data Exchange, Integration, and Streams}, pages = {97--127}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-61-3}, ISSN = {1868-8977}, year = {2013}, volume = {5}, editor = {Kolaitis, Phokion G. and Lenzerini, Maurizio and Schweikardt, Nicole}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol5.10452.97}, URN = {urn:nbn:de:0030-drops-42917}, doi = {10.4230/DFU.Vol5.10452.97}, annote = {Keywords: data exchange, data integration, schema mappings, equivalence, optimality, normalization, schema mapping management} }