Thread: Minor error

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/indexes-partial.html
Description:

A sentence on this page reads:
"The system can recognize simple inequality implications, for example “x <
1” implies “x < 2”; otherwise the predicate condition must exactly match
part of the query's WHERE condition or the index will not be recognized as
usable."

I think it's supposed to read ..."x <=1" implies "x < 2"... ?

> On 28 Feb 2020, at 15:50, PG Doc comments form <noreply@postgresql.org> wrote:
>
> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/12/indexes-partial.html
> Description:
>
> A sentence on this page reads:
> "The system can recognize simple inequality implications, for example “x <
> 1” implies “x < 2”; otherwise the predicate condition must exactly match
> part of the query's WHERE condition or the index will not be recognized as
> usable."
>
> I think it's supposed to read ..."x <=1" implies "x < 2"... ?

Why do you think that? x < 1 clearly implies x < 2 so I don't see what is wrong.

cheers ./daniel