Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues