Víctor Dalmau

Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes

2023 · arXiv (Cornell University)

A Datalog program can be viewed as a syntactic specification of a functor from database instances over some schema to database instances over another schema. The same holds more generally for $\exists$Datalog. We establish large …