Sticky Existential Rules and Disjunction are Incompatible

Download PDF
Open Webpage

Michael Morak

Published: 01 Jan 2021, Last Modified: 13 Jun 2024KR 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Stickiness is one of the well-known properties in the literature that guarantees decidability of query answering under sets of existential rules, that is, Datalog rules extended with existential qu...