Enhancing Disjunctive Datalog by Constraints