Abstract FR:

Le point de départ de notre travail a été de doter un système de gestion de bases de données d'une composante Recherche d'Informations. Notre objectif est donc de permettre l'expression de requêtes spécifiques à la recherche d'informations en comparant une requête aux documents de la base. Un élément qui permet de traiter une part de ce problème est de proposer des facilites pour décrire les correspondances entre les structures représentant la sémantique des documents et la requête sur ces documents. Actuellement, les SGBD les plus appropries a cette démarche sont les SGBD a Objets, nous avons donc choisi d'aider à la conception de correspondances entre objets complexes. Nous avons découpé la conception de telles correspondances en deux parties : l'une théorique utilisant la logique modale appliquée au modèle logique de recherche d'informations, et la seconde opérationnelle permettant par l'utilisation d'un langage algébrique l'expression des éléments de la partie théorique. La dichotomie entre les parties théoriques et opérationnelles permet la portabilité des concepts théoriques, et fournit une base pour la validation des correspondances réalisées. Ce travail permet donc, pour un programmeur d'application sur un système orienté objet, d'avoir une aide qui va de la formulation logique des correspondances au langage qui autorise l'expression de ces correspondances