Requêtes Datalog efficaces avec SQL : une approche ingénieuse basée sur les relations d’environnement

Cet article présente une nouvelle approche pour traduire les programmes Datalog en requêtes SQL. L’auteur exploite intelligemment les capacités d’algèbre relationnelle de SQL, en représentant les environnements de liaison de variables du corps du programme Datalog sous forme de relations. Cela permet une exécution efficace des requêtes Datalog à l’aide des moteurs SQL existants. La méthode est non seulement propre, mais elle permet également une évaluation semi-naïve à l’aide de l’astuce du nombre dual, ce qui améliore encore les performances. L’article inclut des exemples de code Python et SQL, ainsi que des comparaisons de performances par rapport à d’autres moteurs Datalog.