Characterizing certain answers via compactness - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Characterizing certain answers via compactness

Caractérisation des réponses certaines par compacité

Résumé

In relational data integration, some approaches rely on logic programming to get answers for one query from several sources. More precisely, in the mediation setting where a virtual global schema linked to all local source schemas is assumed, some algorithms are based on SLD-resolution to generate rewritings of a query expressed on the global schema, so that it can be evaluated on the many sources. The aim of this evaluation is to obtain the certain answers [1]. These answers are the answers that are always obtained when a user evaluates his query on any materialization of the global schema which reflects the source data [9]. Of course, it has been shown that the generated rewritings, especially via SLD-resolution, could compute the certain answers. However, from a more general point of view, and up to our knowledge, no certain answers characterization w.r.t. answers of a definite program formalizing a mediation setting has been proposed yet. This is the main contribution of this paper, which is based on a new compactness result that characterizes certain answers w.r.t. an extension to infinite models of certain answers.
En intégration de données relationnelles, certaines approches font usage de la programmation logique pour obtenir des réponses à une requête posée sur plusieurs sources. Plus précisément, dans les contextes de médiation, où l'on suppose l'existence d'un schéma global virtuel reliant tous les schémas des sources locales, certains algorithmes sont basés sur la SLD-resolution pour générer des réécritures des requêtes exprimées sur le schéma global, et ce afin de pouvoir les évaluer sur les sources locales. Le but de cette éval-uation est d'obtenir les réponses certaines [1]. Ces réponses sont celles qui seraient toujours obtenues si l'utilisateur pouvait évaluer sa requête sur toutes les matérialisations possibles du schéma global en accord avec les données contenues dans les sources [9]. Bien entendu, il a été démontré que les réécritures générées, notamment par SLD-resolution, permettaient d'obtenir les réponses certaines. Cependant, dans une perspective plus générale, il n'existe pas encore , à notre connaissance, de caractérisation des réponses certaines en fonction des réponses d'un programme défini formalisant un contexte de médiation. C'est la contribution principale de cet article, qui s'appuie sur un résultat nouveau de compacité caractérisant les réponses certaines en fonction d'une extension aux modèles infinis de ces dernières.
Fichier principal
Vignette du fichier
Unpublished_2017-06-20_ReyTahhanBittarTomasik.pdf (779.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02062406 , version 1 (01-04-2019)

Identifiants

  • HAL Id : hal-02062406 , version 1

Citer

Christophe Rey, Elias Tahhan-Bittar, Jerzy Tomasik. Characterizing certain answers via compactness. 2019. ⟨hal-02062406⟩
47 Consultations
50 Téléchargements

Partager

Gmail Facebook X LinkedIn More