Russell Smith <mr-russ(at)pws(dot)com(dot)au> writes:
> In-equality transformations do not guarantee that y > 1.5x == y/x >
> 1.5. This is only true for x>0, y < 1.5*x for x<0. I have not posted a
> patch as I'm not sure what is the best way to change the example.
Seems a bit nit-picky, but we could change the example to
SELECT ... WHERE x > 0 AND y/x > 1.5;
becomes
SELECT ... WHERE CASE WHEN x > 0 THEN y/x > 1.5 ELSE false END;
regards, tom lane