------------------------------------------------------------------------- DATABASE SEMINAR ------------------------------------------------------------------------- Denilson Barbosa University of Alberta, Edmonton, Canada ------------------------------------------------------------------------- A Framework for Automatic Schema Mapping Verification Through Reasoning ------------------------------------------------------------------------- Thursday July 1, 2010 -- h 15:00 **** Aula N7 **** Dipartimento di Informatica e Automazione Universita' Roma Tre Via Vasca Navale, 79 piano terra -------------------------------------------------------------------------- ABSTRACT We advocate an automated approach for verifying mappings between source and target databases in which semantics are taken into account, and that avoids two serious limitations of current verification approaches: reliance on availability of sample source and target instances, and reliance on strong statistical assumptions. We discuss how our approach can be integrated into the workflow of state-of-the-art mapping design systems, and all its necessary inputs. Our approach relies on checking the entailment of verification statements derived directly from the schema mappings and from semantic annotations to the variables used in such mappings. We discuss how such verification statements can be produced and how such annotations can be extracted from different kinds of alignments of schemas into domain ontologies. Such alignments can be derived semi-automatically; thus, our framework might prove useful in also greatly reducing the amount of input from domain experts in the development of mappings. Bio: Denilson Barbosa is a faculty member at the University of Alberta, in Edmonton, Canada. He received a PhD from the University of Toronto in 2005. His research interests are in databases and the Web, and he has worked on the storage, update, and consistency checking of XML data, as well as in mappings between disparate data formats. Denilson is the recipient of the Alberta Ingenuity Fund New Faculty Award, and an IBM faculty award. -----------------------------------------------------------------------------