Constant Propagation Versus Join Reordering in Datalog