Apport du non-determinisme dans les langages de requetes

par HUY KHANH HOANG

Thèse de doctorat en Mathématiques appliquées aux sciences sociales

Sous la direction de FRANCOISE GIRE.

Soutenue en 1997

à Paris 1 .


  • Pas de résumé disponible.

  • Titre traduit

    On the contributions of non-determinism in query languages


  • Résumé

    Nous proposons un mecanisme de non-determinisme restreint pour definir des langages de requetes. Ce mecanisme est base sur un constructeur de choix, appele choix symetrique, qui s'applique seulement sur des ensembles contenant des elements symetriques, c'est a dire des elements de la base de donnees qui sont indistinguables au niveau conceptuel. Ce mecanisme nous permet de definir un langage de requetes deterministe dont le pouvoir d'expression est strictement plus grand que celui de fixpoint avec count , considere jusqu'ici comme "la meilleure approximation" de dbptime. Ce langage est base d'une part sur une extension de la logique du point fixe inflationniste avec un constructeur de choix symetrique, et d'autre part , sur l'introduction d'un operateur de reduction logique qui permet l'augmentation du pouvoir d'expression.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (123 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : 51 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Panthéon-Sorbonne. Bibliothèque Pierre Mendès France.
  • Consultable sur place dans l'établissement demandeur
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.