Characterizing Boundedness in Chase Variants
Sign Up to like & getrecommendations! Published in 2020 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068420000083
Abstract: Abstract Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context… read more here.
Keywords: chase; chase variants; rules bounded; characterizing boundedness ... See more keywords