OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Answering queries addressed to several databases according to a majority approach

Cholvy, Laurence and Garion, Christophe Answering queries addressed to several databases according to a majority approach. (2004) Journal of Intelligent Information Systems, 2 (2). 175-201. ISSN 0925-9902

(Document in English)

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1023/B:JIIS.0000012469.11873.bb


The general context of this work is the problem of merging data provided by several sources which can be contradictory. Focusing on the case when the information sources do not contain any disjunction, this paper first defines a propositional modal logic for reasoning with data obtained by merging several information sources according to a majority approach. Then it defines a theorem prover to automatically deduce these merged data. Finally, it shows how to use this prover to implement a query evaluator which answers queries adressed to several databases. This evaluator is such that the answer to a query is the one that could be computed by a classical evaluator if the query was adressed to the merged databases. The databases we consider are made of an extensional part, i.e. a set of positive or negative ground literals, and an intensional part i.e. a set of first order function-free clauses. A restriction is imposed to these databases in order to avoid disjunctive data.

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Deposited On:30 Jul 2008 10:06

Repository Staff Only: item control page