Towards Expressive, Performant, and Correct Database Systems
Anna Herlihy, Anastasia Ailamaki, Martin Odersky
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Sep 2026
Compiling Linear Datalog to SQL for Program Analysis
This paper revisits the connection between Datalog and relational databases, advocating recursive SQL as a backend for Datalog evaluation, and presents a compilation framework that translates Datalog programs, particularly those in the Linear Datalog fragment, into equivalent recursive SQL queries.
Amir Shaikhha, Anna Herlihy, Hung Q. Ngo
· 0 citations