Réparation efficace de requêtes floues

Les systèmes coopératifs visent notamment à éviter de retourner à l'utilisateur “il n'y a pas de réponse” lorsqu'une requête échoue, en cherchant plutôt à fournir les raisons de l'échec, sous la forme par exemple de sous-requêtes minimales à résultat vide (Minimal Failing Subqueries, MFS en abrégé), et à construire des requêtes alternatives à résultat non vide (maXimal Succeeding Subqueries, XSS en abrégé), aussi proches que possibles de la requête initiale. Dans le contexte de l'interrogation floue de bases de données, nous proposons une méthode efficace pour déterminer les MFS et les XSS graduelles d'une requête, méthode qui s'appuie sur un résumé, calculé dynamiquement, d'une partie de la base.