A Deductive Database with Datalog and SQL Query Languages
Abstract elided by the publisher.
Related papers
- JReq: Database Queries in Imperative Languages CC 2010
- Making standard ML a practical database programming language ICFP 2011
- Graphiti: Bridging Graph and Relational Database Queries PLDI 2025
- HoTTSQL: proving query rewrites with univalent SQL semantics PLDI 2017
- Language-Integrated Recursive Queries ECOOP 2026
- Simple and safe SQL queries with c++ templates GPCE 2007
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Extending SQL-92 for OODB Access: Design and Implementation Experience OOPSLA 1995