Abstract 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