Une approche algebrique des methodes d'evaluation de requetes datalog simplement lineaires

par EUGENIE FOUSTOUCOS

Thèse de doctorat en Sciences appliquées

Sous la direction de N. SPYRATOS.

Soutenue en 1996

à Paris 11 .

    mots clés mots clés


  • Résumé

    Nous introduisons un raffinement de la resolution sld, la resolution sldal-scindee ensembliste qui permet de suivre la propagation des liaisons et surtout de rendre compte du traitement ensembliste des requetes et des reponses, specifique aux bases de donnees. Nous construisons un modele algebrique de calcul de la methode d'evaluation requete-sousrequete par abstraction a partir d'un type particulier d'arbres sldal-scindes ensemblistes. Dans notre modele, construit pour les programmes simplement lineaires (au plus un atome intensionnel dans le corps), les ensembles de substitutions sont manipules par des operateurs algebriques et les pre-ordres de powerdomains utilises permettent de simuler la technique al (tabulation). Ceci permet d'integrer dans un cadre unique les principes de tabulation et de resolution et la gestion des substitutions. Nous montrons que les deux suites convergentes de notre espace d'evaluation expriment egalement la semantique de la methode des ensembles magiques. Ce qui nous permet de demontrer l'equivalence entre cette methode et la methode requete-sousrequete pour la classe des programmes simplement lineaires. Nous indiquons egalement comment etendre notre modele a des programmes datalog quelconques (sans negation)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 268 P.
  • Annexes : 93 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013066
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.