The Definability Abduction Problem for Data Exchange

Autor: Franconi, E., Ngo, N., Sherkhonov, E., Krötsch, M., Straccia, U.
Přispěvatelé: Information and Language Processing Syst (IVI, FNWI)
Jazyk: angličtina
Rok vydání: 2012
Předmět:
Zdroj: Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12 2012: proceedings, 217-220
STARTPAGE=217;ENDPAGE=220;TITLE=Web Reasoning and Rule Systems
Web Reasoning and Rule Systems ISBN: 9783642332029
RR
Popis: Data exchange is the problem of transforming data structured according to a source schema into data structured according to a target schema, via a mapping specified by means of rules in the form of source-to-target tuple generating dependencies - rules whose body is a conjunction of atoms over the source schema and the head is a conjunction of atoms over the target schema, with possibly existential variables in the head. With this formalization, given a fixed source database, there might be more than one target databases satisfying a given mapping. That is, the target database is actually an incomplete database represented by a set of possible databases. Therefore, the problem of query answering the target data is inherently complex for general (non-positive) relational or aggregate queries.
Databáze: OpenAIRE