Jeff Davis <pgsql@j-davis.com> writes:
> On Tue, 2009-07-28 at 15:15 -0400, Tom Lane wrote:
>> Sure it does. Whether the check is immediate must be considered a
>> property of the index itself. Any checking you do later could be
>> per-constraint, but the index is either going to fail at insert or not.
> My point is that the "immediate" behavior does not require the index
> itself to fail early. My original patch for generalized index
> constraints has the same behavior as UNIQUE currently does (including
> the fail early behavior), but can be used over indexes that know nothing
> about UNIQUE (list GiST).
Fail-early still sounds like a property of the index. Whether the
property is implemented inside or outside the index AM isn't very
relevant. Partial and functional index support are outside the AM, for
example, but we have no problem representing those features in pg_index.
In any case, this can be redesigned as needed when and if your other
patch gets to the point of being ready for consideration.
regards, tom lane
