> On Jan 28, 2023, at 11:29, Miles Elam <miles(dot)elam(at)productops(dot)com> wrote:
> Why does this error result?
While the standard order of operations is to evaluate the WHERE before the SELECT list, it's not guaranteed to result in short-cut execution. In particular, constant folding happens very early in the processing of a query, well before the WHERE clause is evaluated:
xof=# SELECT 1/0 WHERE FALSE;
ERROR: division by zero