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.