一个有用逻辑的两种形式：势不动点逻辑与自由数据逻辑
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
摘要：
分布式知识授权语言（DKAL）中使用了数据库的自然自由化。我们表明，这种自由的Datasheet的表达能力是存在的不动点逻辑。展览会是独立的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
