License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2017.2
URN: urn:nbn:de:0030-drops-76707
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7670/
Go to the corresponding LIPIcs Volume Portal

Kolaitis, Phokion G.

Schema Mappings: Structural Properties and Limits (Invited Talk)

pdf-format:
LIPIcs-CSL-2017-2.pdf (0.2 MB)

Abstract

A schema mapping is a high-level specification of the relationship between two database schemas. For the past fifteen years, schema mappings have played an essential role in the modeling and analysis of important data inter-operability tasks, such as data exchange and data integration. Syntactically, schema mappings are expressed in some schema-mapping language, which, typically, is a fragment of first-order logic or second-order logic. In the first part of the talk, we will introduce the main schema-mapping languages, will discuss the fundamental structural properties of these languages, and will then use these structural properties to obtain characterizations of various schema-mapping languages in the spirit of abstract model theory. In the second part of the talk, we will examine schema mappings from a dynamic viewpoint by considering sequences of schema mappings and studying the convergence properties of such sequences. To this effect, we will introduce a metric space that is based on a natural notion of distance between sets of database instances and will investigate pointwise limits and uniform limits of sequences of schema mappings. Among other findings, it will turn out that the completion of this metric space can be described in terms of graph limits arising from converging sequences of homomorphism densities.

BibTeX - Entry

@InProceedings{kolaitis:LIPIcs:2017:7670,
  author =	{Phokion G. Kolaitis},
  title =	{{Schema Mappings: Structural Properties and Limits (Invited Talk)}},
  booktitle =	{26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
  pages =	{2:1--2:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-045-3},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{82},
  editor =	{Valentin Goranko and Mads Dam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7670},
  URN =		{urn:nbn:de:0030-drops-76707},
  doi =		{10.4230/LIPIcs.CSL.2017.2},
  annote =	{Keywords: logic and databases, schema mappings, data exchange, metric spaces}
}

Keywords: logic and databases, schema mappings, data exchange, metric spaces
Collection: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Issue Date: 2017
Date of publication: 16.08.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI