The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
[article]
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