DATALOG Queries with Stratified Negation and Choice: from P to DP