Right-Adjoints for Datalog Programs.

Balder ten Cate, Vctor Dalmau, Jakub Oprsal

Browse the full ICDT paper archive.