2 papers
cs.PL2025
Querying Graph-Relational Data
Michael J. Sullivan, Zhibo Chen, Elvis Pranskevichus +4
For applications that store structured data in relational databases, there is an impedance mismatch between the flat representations encouraged by relational data models and the de…
cs.PL2024
Finite-Choice Logic Programming
Chris Martens, Robert J. Simmons, Michael Arntzenius
Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems ca…