Deconstructing Datalog

·Hacker News··

home datafun talon reviews résumé rss Deconstructing Datalog In September 2022, after two rounds of revisions, I submitted the final version of my PhD dissertation, Deconstructing Datalog. Datalog is a logic programming language from the ’80s that augments relational algebra with recursive queries. It has both simple semantics and efficient implementation strategies. Like Lisp and the Velvet Underground, its influence exceeds its popularity; its ideas are still being absorbed into the mainstream

Read full article →

Related Articles

Classification of Finite Simple Groups Formalized in Lean
pfdietz · Hacker News · 45m ago
US–Indian space mission maps extreme subsidence in Mexico City
leopoldj · Hacker News · 5mo ago
A Misalignment of AI in Mathematics
Iuz · Hacker News · 1mo ago
Why are neural networks and cryptographic ciphers so similar? (2025)
jxmorris12 · Hacker News · 5mo ago
Fun with polynomials and linear algebra; or, slight abstract nonsense
LolWolf · Hacker News · 5mo ago