Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A relational framework for inconsistency-aware query answering

Ousmane Issa 1 Angela Bonifati 2, 3 Farouk Toumani 
2 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
3 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We introduce a novel framework for encoding inconsistency into relational tuples and tackling query answering for union of con-junctive queries (UCQs) with respect to a set of denial constraints (DCs). We define a notion of inconsistent tuple with respect to a set of DCs and define four measures of inconsistency degree of an answer tuple of a query. Two of these measures revolve around the minimal number of inconsistent tuples necessary to compute the answer tuples of a UCQ, whereas the other two rely on the maximum number of inconsistent tuples under set-and bag-semantics, respectively. In order to compute these measures of inconsistency degree, we leverage two models of provenance semiring, namely why-provenance and provenance polynomials, which can be computed in polynomial time in the size of the relational instances for UCQs. Hence, these measures of inconsistency degree are also computable in polynomial time in data complexity. We also investigate top-k and bounded query answering by ranking the answer tuples by their inconsistency degrees. We explore both a full materialized approach and a semi-materialized approach for the computation of top-k and bounded query results.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Ousmane ISSA Connect in order to contact the contributor
Submitted on : Wednesday, September 9, 2020 - 10:37:14 AM
Last modification on : Wednesday, July 6, 2022 - 4:18:12 AM
Long-term archiving on: : Thursday, December 3, 2020 - 12:45:01 AM


Files produced by the author(s)


  • HAL Id : hal-02934283, version 1


Ousmane Issa, Angela Bonifati, Farouk Toumani. A relational framework for inconsistency-aware query answering. 2020. ⟨hal-02934283⟩



Record views


Files downloads