Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2008
- DOI:
- 10.48550/arXiv.0811.0977
- arXiv:
- arXiv:0811.0977
- Bibcode:
- 2008arXiv0811.0977B
- Keywords:
-
- Computer Science - Logic in Computer Science