Showing 2026Show all
2 papers · 1 filter
cs.DB2026
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This
Lucas Larroque, Quentin Manière
Existential rules are a prominent formalism to enrich a database with knowledge from the domain of interest, but make even basic reasoning tasks on the resulting knowledge base und…
cs.DB2026
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture
Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
This paper addresses one of the fundamental open questions in the realm of existential rules: the conjecture on the finite controllability of bounded derivation depth rule sets (bd…