Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/173503A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.Logic in Computer ScienceTwo Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalogtext