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