Efficient computation of polynomial explanations of Why-Not questions
Résumé
Answering a Why-Not question consists in explaining why the result of a query does not contain some expected data, called missing answers. This paper [6] focusses on processing Why-Not questions following a query-based approach that identifies the culprit query components. The first contribution of this paper is a general definition of a Why-Not explanation by means of a polynomial. Intuitively , the polynomial provides all possible explanations to explore in order to recover the missing answers. Moreover, this formalism allows us to represent Why-Not explanations to extended relational models having for instance probabilistic or bag semantics. Computing the Why-Not explanation is a complex process and the second contribution of the paper is an algorithm that efficiently generates the aforementioned polynomials that answer Why-Not questions. An experimental evaluation demonstrates the practicality of the algorithm both in terms of efficiency and explanation quality, compared to existing algorithms.
Répondre à des questions de type "Pourquoi pas" (Why Not) consiste à expliquer pourquoi certaines données appelées réponses manquantes sont absentes du résultat d'une requête. Cet article traite de questions de type "Pourquoi pas" en suivant une approche "requête", c'est à dire que les explications sont fournies par les combinaisons de conditions de la requête qui sont responsables de la non obtention de certaines réponses. La première contribution est une définition générale de ce qu'est l'explication d'une question "Pourquoi pas" sous la forme d'un polynôme. Intuitivement, ce polynôme fournit toutes les voies à explorer pour récupérer les réponses manquantes. De plus, cette définition permet, avec le même formalisme, de s'intéresser à des extensions du modèle relationnel tel que la sémantique multi-ensembliste ou probabliliste. La deuxième contribution de cet article est liée au calcul des explications d'une question "Pourquoi pas". Un algorithme efficace est présenté, accompagné d'une validation expérimentale et d'une étude comparative.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...