Reasoning about Schema Mappings

Author Emanuel Sallinger

Thumbnail PDF


  • Filesize: 0.57 MB
  • 31 pages

Document Identifiers

Author Details

Emanuel Sallinger

Cite AsGet BibTex

Emanuel Sallinger. Reasoning about Schema Mappings. In Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups, Volume 5, pp. 97-127, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


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.
  • data exchange
  • data integration
  • schema mappings
  • equivalence
  • optimality
  • normalization
  • schema mapping management


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail