Consultas Datalog eficientes con SQL: Un enfoque inteligente de relación de entorno

Este artículo presenta un nuevo enfoque para traducir programas Datalog en consultas SQL. El autor aprovecha inteligentemente las capacidades de álgebra relacional de SQL, representando los entornos de enlace de variables del cuerpo del programa Datalog como relaciones. Esto permite la ejecución eficiente de consultas Datalog utilizando motores SQL existentes. El método no solo es limpio, sino que también permite la evaluación semi-ingenua utilizando el truco del número dual, lo que aumenta aún más el rendimiento. El artículo incluye ejemplos de código Python y SQL, junto con comparaciones de rendimiento con respecto a otros motores Datalog.