From: nick.rutherford@gmail.com
To: pgsql-docs@postgresql.org
Subject: EXCLUDE logical wording: "not all" should be "none"
Date: Mon, 06 Mar 2017 10:39:12 +0000
Message-ID: <20170306103912.25050.61015@wrigleys.postgresql.org> (raw)
List-Unsubscribe: <mailto:majordomo@postgresql.org?body=unsub%20pgsql-docs>
The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/9.6/static/sql-createtable.html
Description:
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.
--
Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-docs@postgresql.org
Cc: nick.rutherford@gmail.com
Subject: Re: EXCLUDE logical wording: "not all" should be "none"
In-Reply-To: <20170306103912.25050.61015@wrigleys.postgresql.org>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox