Sallinger, E. (2013). Reasoning about Schema Mappings. In P. G. Kolaitis, M. Lenzerini, & N. Schweikardt (Eds.), Data Exchange, Integration, and Streams (pp. 97–127). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DFU.Vol5.10452.97
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
Published in:
Data Exchange, Integration, and Streams
-
ISBN:
978-3-939897-61-3
-
Date (published):
2013
-
Event name:
DEIS '10, GI-Dagstuhl seminar 10452
en
Event place:
Austria
-
Number of Pages:
31
-
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl
-
Peer reviewed:
Yes
-
Keywords:
optimality; data exchange; equivalence; data integration; schema mappings; normalization; schema mapping management
-
Abstract:
Schema mappings are an important tool in several areas of database research. Recently, the topic of reasoning about schema mappings was given attention, in particular revolving around the central concepts of equivalence and optimality. In this chapter, we survey these results. First, we introduce relaxed notions of logical equivalence and show their potential for finding optimized schema mappings. We then look at applications of these concepts to optimization, normalization, and schema mapping management, as well as the boundaries of computability. We conclude by giving a glimpse at reasoning about schema mappings in a broader sense by looking at how to debug schema mappings.
en
Project title:
Heterogenous Information Integration: P25207-N23 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
