Un modèle d'exécution de requêtes et de mises à jour pour les bases de données déductives.