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.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00005139 |
Date | 16 September 1993 |
Creators | Mulhem, Philippe |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0018 seconds