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

https://hal.archives-ouvertes.fr/hal-02934283
Contributor : Ousmane Issa <>
Submitted on : Wednesday, September 9, 2020 - 10:37:14 AM
Last modification on : Tuesday, June 1, 2021 - 2:08:08 PM
Long-term archiving on: : Thursday, December 3, 2020 - 12:45:01 AM

File

BDA_paper_framework_aware_inco...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02934283, version 1

Citation

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

Share

Metrics

Record views

69

Files downloads

102