https://hackerpaper.kaipfister.de/p/2205.02425/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=42203479urn:hackerpapers:mention:2205.02425:42203479Thu, 21 Nov 2024 12:03:54 GMT<p>If you&#x27;re interested in the details, you might want to have a look at papers [1] or [2]. You can add existentials in this framework, which basically means that the lifting problems mentioned above don&#x27;t need to have unique solutions. But as you say, then the &quot;minimal&quot; databases aren&#x27;t determined uniquely up to isomorphism anymore. So the result of Datalog evaluation now depends on the order in which you apply rules. If I recall correctly, then [3] discusses a logic corresponding to accessible categories (Datalog + equality corresponds to locally presentable categories) which includes the the…</p><p><a href="https://hackerpaper.kaipfister.de/p/2205.02425/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DB