
We consider the problems of equivalence, satisfiability and queryreachability for datalog programs with negation and denseorder constraints. These problems are important for optimizing datalog programs. We show that both queryreachability and satisfiability are decidable for programs with stratified negation provided that negation is applied only to EDB predicates or that all EDB predicates are unary. In the latter case, we show that equivalence is also decidable. The algorithms we present are also used to push constraints from a given query to the EDB predicates. Finally, we show that satisfiability is undecidable for datalog programs with unary IDB predicates, stratified negation and the interpreted predicate 6=.