Evaluation order and nontermination in query languages
rntz.net