Extension du langage logique datalog

par Liming Chen

Thèse de doctorat en Sciences appliquées

Sous la direction de Georges Gardarin.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    La premiere extension proposee, notee datalog+adt, integre dans datalog les fonctions, sous forme de types abstraits de donnees, qui sont decrits par des systemes de reecriture de termes. La deuxieme extension, notee datalog+agreg, consiste a integrer les fonctions d'agregats dans datalog. Une semantique canonique est definie a l'aide des techniques de stratification et du point fixe. Enfin, une restriction de langage datalog+agreg est proposee

  • Titre traduit

    Extension of logical language datalog


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 100 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1989 99
  • 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 1989

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1989-CHE
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.