Cet article se place dans le contexte des systèmes de médiation suivant une approche LAV (Local As View) et étudie le problème de la réécriture de requêtes en utilisant des vues en présence de contraintes de valeurs floues sur les attributs. Ces contraintes permettent de lister les valeurs possibles des attributs tout en pondérant ces valeurs d'un degré compris entre 0 et 1. Elles permettent par exemple de décrire la forme des tomates comme 1/ronde ou 0.8/ovale ou 0.5/allongée. Utilisées dans les requêtes, elles permettent aux utilisateurs d'exprimer des préférences sur ce qu'ils recherchent tandis que dans les vues, elle permettent une description condensée, souple mais informative des valeurs des attributs. Le problème est formalisé dans le cadre de la logique de description FL0 étendue aux contraintes de valeurs floues. Nous proposons un algorithme de subsomption structurelle pour cette logique qui sert de base à notre problème de réécriture. Puis, nous caractérisons la forme des réécritures. This paper studies the problem of answering queries using views when the queries and the views may involve fuzzy value constraints in the context of a Local-As-View mediation system. These constraints allow for specifying the possible values of the attributes by associating them with a degree between 0 and 1. For example, they allow for characterizing the shapes of tomatoes as 1/round or 0.8/oval or 0.5/elongated. Such constraints represent user preferences in the queries, whereas in the views, they give a concise, flexible but informative description of data. The problem is formalized in the setting of the description logic FL0 extended to fuzzy value constraints. We propose an algorithm of structural subsumption for this logic, that will be very useful to define the algorithm of query rewriting. Finally, we characterize the query rewriting forms.
Cet article traite de requêtes floues conjonctives produisant des ensembles vides ou faiblement satisfaisants de réponses. Nous proposons une approche coopérative qui identifie efficacement les conflits à l'intérieur d'une telle requête et permet donc d'expliquer l'échec initial à l'utilisateur. La détection de ces conflits repose sur une étape préalable de calcul de cardinalités floues. L'avantage majeur de cette stratégie est de ne nécessiter qu'un seul parcours de la base de données. De plus, la compacit é des informations précalculées rend aisé leur stockage en mémoire. This paper deals with conjunctive fuzzy queries that yield an empty or unsatisfactory answer set. We propose a cooperative answering approach which efficiently retrieves the minimal failing subqueries of the initial query, which can then be used to explain the failure. The detection of the minimal failing subqueries relies on a prior step of fuzzy cardinalities computation. The main advantage of this strategy is to imply a single scan of the database. Moreover, the fuzzy cardinalities used by the approach easily fit in memory.
Cet article propose une approche visant à étendre le champ d'une requête de bases de données de façon à retrouver des objets similaires à ceux de sa réponse stricte. L'idée est d'exploiter les associations entre les entités de la base de données correspondant par exemple à la présence de clés étrangères dans le schéma. Des concepts flous tels que la typicité, la similarité et les quantificateurs linguistiques sont au coeur de l'approche et permettent de calculer une liste ordonnée de "réponses connexes". This paper deals with the issue of extending the scope of a user query in order to retrieve objects which are similar to its strict answers. The approach proposed exploits associations between database items, corresponding, e.g., to the presence of foreign keys in the database schema. Fuzzy concepts such as typicality, similarity and linguistic quantifiers are at the heart of the approach and make it possible to obtain a ranked list of related answers.