Thèse soutenue

Extension du langage logique datalog

FR  |  
EN
Auteur / Autrice : Liming Chen
Direction : Georges Gardarin
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1989
Etablissement(s) : Paris 6

Résumé

FR

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