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

Andreas Blass, Yuri Gurevich (Microsoft Research)
2008 arXiv   pre-print
A 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.
arXiv:0811.0977v1 fatcat:kps6shu77naxxamqcmpicmkikq