Ordre d'évaluation et non-terminaison dans les langages de requête

L'article explore les problèmes de non-terminaison dans les langages de requête de type Datalog, en examinant comment l'ordre d'évaluation influence la convergence ou la divergence des calculs. L'auteur détaille les cas limites où des règles récursives combinées à certaines stratégies d'évaluation produisent des boucles infinies. Une réflexion utile pour les concepteurs de systèmes de bases de données déductives et de moteurs de règles.