"Data exchange and schema mappings in open and closed worlds."

Leonid Libkin, Cristina Sirangelo (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics