Re: EXCLUDE logical wording: "not all" should be "none"

nick(dot)rutherford(at)gmail(dot)com writes:
> The EXCLUDE docs say

> "The EXCLUDE clause defines an exclusion constraint, which guarantees that
> if any two rows are compared on the specified column(s) or expression(s)
> using the specified operator(s), not all of these comparisons will return
> TRUE."

> It also says "for equality, this is equivalent to a UNIQUE constraint".

> The current documentation saying "not all" is not the same as a unique
> constraint, because in the case of equality, it is logically stating that
> "All rows - 1 can be equal", which satisfies "not all" pairs. Instead it
> should say that no pairs, or none, return true.

Hmm. I think what that text means by "not all of these comparisons" is
"not all of these column comparisons", whereas you seem to be reading it
as talking about comparison of the whole row to all other rows in the
table. Am I misunderstanding your point?

(I agree that this text could use improvement, but your proposed edit
seems wrong in detail. The quantifier across the whole table is already
there in the bit about "if any two rows".)

regards, tom lane