Reasoning about Schema Mappings

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.

[1]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[2]  Ronald Fagin,et al.  Towards a theory of schema-mapping optimization , 2008, PODS.

[3]  Phokion G. Kolaitis.  Schema mappings, data exchange, and metadata management , 2005, PODS '05.

[4]  Ronald Fagin,et al.  Data exchange: getting to the core , 2003, PODS '03.

[5]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[6]  Emanuel Sallinger,et al.  On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies , 2015, AMW.

[7]  Ronald Fagin,et al.  Local transformations and conjunctive-query equivalence , 2012, PODS '12.

[8]  Joann J. Ordille,et al.  Data integration: the teenage years , 2006, VLDB.

[9]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[10]  Emanuel Sallinger,et al.  Relaxed notions of schema mapping equivalence revisited , 2011, ICDT '11.

[11]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[12]  Ronald Fagin,et al.  Composing schema mappings: Second-order dependencies to the rescue , 2005, TODS.

[13]  Georg Gottlob,et al.  Data exchange: computing cores in polynomial time , 2006, PODS '06.

[14]  Marcelo Arenas,et al.  Foundations of schema mapping management , 2010, PODS '10.

[15]  Ronald Fagin,et al.  Inverting schema mappings , 2006, TODS.

[16]  Oded Shmueli,et al.  Equivalence of DATALOG Queries is Undecidable , 1993, J. Log. Program..

[17]  Catriel Beeri,et al.  A Proof Procedure for Data Dependencies , 1984, JACM.

[18]  Wang Chiew Tan,et al.  Debugging schema mappings with routes , 2006, VLDB.

[19]  Georg Gottlob,et al.  Normalization and optimization of schema mappings , 2009, The VLDB Journal.

[20]  Phokion G. Kolaitis,et al.  Structural characterizations of schema-mapping languages , 2009, ICDT '09.

[21]  Sergey Melnik,et al.  Generic Model Management , 2004, Lecture Notes in Computer Science.