Gaetano Mendola <mendola(at)bigfoot(dot)com> writes:
> my warning was due the fact that in the docs is written nowhere this
> drawback.
The SELECT reference page already says that the output rows are computed
before applying ORDER BY or DISTINCT.
regards, tom lane