Campus Event Calendar
Event Entry
What and Who
Logic and Data Exchange: Which solutions are "good" solutions?
Prof Dr Nicole Schweikardt
Uni Frankfurt
Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 22 September 2008
15:00
45 Minutes
E1 4
024
Saarbrücken
Abstract
A schema mapping M = (\sigma,\tau,\Sigma) consists of a source
schema \sigma (i.e., a finite set of relation symbols), a target schema
\tau, and a set \Sigma of logical formulas that (a) specify the
relationship between the source and the target and (b) specify particular
properties that the target should have.
Data exchange deals with the following problem: given a schema mapping
M and a source database S (i.e., a finite structure of vocabulary
\sigma), construct a database T over the target schema \tau that satisfies
the relationships and properties listed in \Sigma. Such a target instance
T is called a solution for S with respect to D. Perferably, in case that
solutions exist at all, one would like to find particular solutions that
reflect the given source data "as accurately as possible".
In this talk I want to give an introduction to the area of data exchange,
with a special emphasis on the question of which solutions can be
considered to be "good" solutions. I will concentrate on notions of "good"
solutions for query answering over target instances in the contexts of
open world semantics and closed world semantics.
schema \sigma (i.e., a finite set of relation symbols), a target schema
\tau, and a set \Sigma of logical formulas that (a) specify the
relationship between the source and the target and (b) specify particular
properties that the target should have.
Data exchange deals with the following problem: given a schema mapping
M and a source database S (i.e., a finite structure of vocabulary
\sigma), construct a database T over the target schema \tau that satisfies
the relationships and properties listed in \Sigma. Such a target instance
T is called a solution for S with respect to D. Perferably, in case that
solutions exist at all, one would like to find particular solutions that
reflect the given source data "as accurately as possible".
In this talk I want to give an introduction to the area of data exchange,
with a special emphasis on the question of which solutions can be
considered to be "good" solutions. I will concentrate on notions of "good"
solutions for query answering over target instances in the contexts of
open world semantics and closed world semantics.
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 09/12/2008 10:50
Roxane Wetzel, 09/09/2008 10:24
Roxane Wetzel, 07/16/2008 11:08
Roxane Wetzel, 06/16/2008 09:04
Roxane Wetzel, 06/11/2008 14:32
Roxane Wetzel, 05/30/2008 13:32
Roxane Wetzel, 05/30/2008 13:04 -- Created document.
Roxane Wetzel, 09/09/2008 10:24
Roxane Wetzel, 07/16/2008 11:08
Roxane Wetzel, 06/16/2008 09:04
Roxane Wetzel, 06/11/2008 14:32
Roxane Wetzel, 05/30/2008 13:32
Roxane Wetzel, 05/30/2008 13:04 -- Created document.