Data exchange beyond complete data

12 years 7 months ago

Download web.ing.puc.cl

In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural for a typical database translation scenario, this restriction is gradually becoming an impediment to the development of a wide range of applications that need to exchange objects that admit several interpretations. In particular, we are motivated by two speciﬁc applications that go beyond the usual data exchange scenario: exchanging incomplete information and exchanging knowledge bases. In this paper, we propose a general framework for data exchange that can deal with these two applications. More speciﬁcally, we address the problem of exchanging information given by representation systems, which are essentially ﬁnite descriptions of (possibly inﬁnite) sets of complete instances. We make use of the classical semantics of mappings speciﬁed by sets of logical sentences to give a meaningful semantics to...

Marcelo Arenas, Jorge Pérez, Juan L. Reutte

Real-time Traffic