Thèse de doctorat en Informatique
Sous la direction de Daniel Herman.
Soutenue en 1989
à Rennes 1 .
Definition d'une methode d'interpretation parallele pour un sous ensemble de prolog, appele datalog. Ce langage est considere comme reference pour les systemes de gestion de bases de donnees deductifs. La methode d'interpretation proposee permet d'associer a un programme datalog un reseau de processus determine statiquement
Implementation of datalog on a parallel architecture
Pas de résumé disponible.