Abstract : The starting point of our work was to provide a DataBase Management System with a Information Retrieval capability. Accordingly, our goal is to allow the expression of Information Retrieval queries by comparing a query to the documents of the base. We can solve a part of this problem by allowing facilities to describe the matching between the structures of the documents and queries semantics. For now, we split the matching design into two partsÊ: a theoretic one using the logic model of Information Retrieval instanciated with the modal logic, and an operational one based on an algebraic language expressing the elements of the theoretical part. The dichotomy between the theoretical part and the operational one allows the portability of the theoretical concepts, as well as it gives a base for the validation of the matching designed. This work helps an application programmer at a theoretical level to express logical implications between objects as weel as at an operational level by providing a language to define matching between objects. The use of such matching as query predicates will extend the query languages of these systems, by at last takig into account the objects' structures as a whole in queries.
Résumé : Le point de depart de notre travail a ete de doter un systeme de gestion de bases de donnees d'une composante Recherche d'Informations. Notre objectif est donc de permettre l'expression de requetes specifiques a la recherche d'informations en comparant une requete aux documents de la base. Un element qui permet de traiter une part de ce probleme est de proposer des facilites pour decrire les correspondances entre les structures representant la semantique des documents et la requete sur ces documents. Actuellement, les SGBD les plus appropries a cette demarche sont les SGBD a Objets, nous avons donc choisi d'aider a la conception de correspondances entre objets complexes. Nous avons decoupe la conception de telles correspondances en deux parties : l'une theorique utilisant la logique modale appliquee au modele logique de recherche d'informations, et la seconde operationnelle permettant par l'utilisation d'un langage algebrique l'expression des elements de la partie theorique. La dichotomie entre les parties theoriques et operationnelles permet la portabilite des concepts theoriques, et fournit une base pour la validation des correspondances realisees. Ce travail permet donc, pour un programmeur d'application sur un systeme oriente objet, d'avoir une aide qui va de la formulation logique des correspondances au langage qui autorise l'expression de ces correspondances.