"Timothy H. Keitt" <keitt@nceas.ucsb.edu> writes:
> Oops. Just tried that; the random() call only get evaluated once.
Hmm, you're right. That's a bug. The system knows that random()
can give different results on each call, but there's one piece of
the planner that hasn't gotten the word :-(
regards, tom lane