Date: Fri, 27 Dec 2019 14:49:27 -0500
From: Bruce Momjian <bruce@momjian.us>
To: Tuomas Leikola <tuomas.leikola@gmail.com>
Cc: pgsql-docs@lists.postgresql.org
Subject: Re: uniqueness and null could benefit from a hint for dba
Message-ID: <20191227194927.GB16605@momjian.us>
References: <156760275564.1127.12321702656456074572@wrigleys.postgresql.org>
 <20190927163747.GE31412@momjian.us>
 <CALhc4GAq4H9DSeC7tU6Nkr34zykiA4g8WQ+suWmXSXTDApgHEA@mail.gmail.com>
 <20191024143144.GE8650@momjian.us>
 <CALhc4GA=Bxs-w5Fo9x301-sWbBOcC7eQW=wTEEYUQhA1vA_Chg@mail.gmail.com>
 <20191105171306.GA5839@momjian.us>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20191105171306.GA5839@momjian.us>
User-Agent: Mutt/1.10.1 (2018-07-13)
Precedence: bulk

On Tue, Nov  5, 2019 at 12:13:06PM -0500, Bruce Momjian wrote:
> On Tue, Oct 29, 2019 at 02:00:38PM +0200, Tuomas Leikola wrote:
> > On Thu, Oct 24, 2019 at 5:31 PM Bruce Momjian <bruce@momjian.us> wrote:
> > 
> >     Uh, I am wondering if it is just too details for our docs.  Can you
> >     think of some text and its location?
> > 
> > 
> > 
> > "Unique indexes on functions can be used to create special types of
> > constraints, like considering unique values equal (coalesce) or only allowing a
> > single unique integer value of a float column (floor). A filtered unique index
> > only enforces uniqueness on the subset of rows that match the filter."
> > 
> > I guess this would append to the paragraph "When an index is declared unique,
> > multiple table rows with equal indexed values are not allowed. Null values are
> > not considered equal. A multicolumn unique index will only reject cases where
> > all indexed columns are equal in multiple rows.". Links to the mentioned
> > keywords and concepts would of course be helpful, but not strictly necessary.
> > 
> > I also thought of mentioning the caveat of (un)scannability of function or
> > filtered indexes but maybe that is a bit much.
> 
> I have reviewed our documentation and found approrpiate places to
> mention your floor() example, and my IS NULL example.  Patch attached.

Patch applied back through 9.4.  Thanks.

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +