Deconstructing Datalog
The author discusses their PhD dissertation on 'Datafun,' a language that integrates Datalog's logic programming features with typed functional programming. The work aims to make recursive queries more accessible and efficient within modern programming paradigms.
Why it matters
Advances in programming language theory can lead to more efficient data processing and more expressive tools for software engineers.
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.
The content is an academic reflection on computer science research.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in