Sexid : systeme interactif d'aide a la deduction, a l'interrogation et a la gestion des hypotheses dans une base de donnees

par MARWAN EL-ELEYWA

Thèse de doctorat en Sciences appliquées

Sous la direction de PIERRE LEVINE.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le systeme sexid etudie dans cette these est un systeme expert d'aide a l'interrogation, a la deduction et la gestion dynamique des hypotheses dans une base de donnees. Les connaissances sont representees a l'aide des schemas fonctionnels. Les requetes adressees a sexid sont decomposees en partie intelligente, resolue par le moteur d'inference par chainage arriere, et en partie information portant sur la bd. Le moteur genere un ensemble d'hypotheses dynamiques sur les relations et attributs de la bd. Pour chaque hypothese, en se guidant par les regles, il associe des valeurs particulieres aux buts dont les parametres sont encore non instancies. Pour instancier les parametres, sexid couple les hypotheses ainsi generees et les parties informations. Ce couplage permet de formuler des requetes portant sur les elements de la bd. Les requetes sont ensuite executees par un sgbd. Une partie des resultats constitue l'instanciation des parametres des buts. Sexid, associe ces resultats avec les valeurs deja calculees des buts et permet ainsi de generer toutes les solutions, resultats des buts instancies. L'existence de la bd est transparente pour l'utilisateur. En mode interrogation, sexid permet a l'utilisateur, d'interroger la bd, sans maitriser son lmd. En plus, il lui permet de specifier ce qu'il veut, sans indiquer la maniere d'obtenir les resultats; sexid s'en charge pour completer la requete de celui-ci par adjonction des jointures predefinies, necessaires a l'execution de sa requete


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 90 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1990 491
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.