28 citations · 31 across the 2 of their papers we have counts for
Showing 2012 · cs.AIShow all
2 papers · 2 filters
cs.AI2012★ 28 cited
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Mario Alviano, Wolfgang Faber, Nicola Leone +1
Datalog is one of the best-known rule-based languages, and extensions of it are used in a wide context of applications. An important Datalog extension is Disjunctive Datalog, which…
cs.AI2012★ 3 cited
Magic Sets for Disjunctive Datalog Programs
Mario Alviano, Wolfgang Faber, Gianluigi Greco +1
In this paper, a new technique for the optimization of (partially) bound queries over disjunctive Datalog programs with stratified negation is presented. The technique exploits the…