Balder ten Cate

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 …

Craig Interpolation for Decidable First-Order Fragments

2023 · arXiv (Cornell University)

The Craig Interpolation Property (CIP) is a property of logics. It states that, for all formulas φ and ψ, if φ ⊧ ψ, then there exists an "interpolant" ϑ such that φ ⊧ ϑ and …