Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues

Open in new window