Evaluation order and nontermination in query languages