Re: [PROPOSAL] Covering + unique indexes.

Seems, final form is

CREATE INDEX idx ON tbl (f1, f2, f3) [UNIQUE ON (f1, f2)] [INCLUDE (f4)]

f1, f2, f3 are participated in index row comparence (btre, gist etc)
f1, f2 are participated in unique constrain and it gives warranty for   (f1, f2, f3[, f4]) uniqueness. Now supported by
Btreeonly
 
f4 doesn't participate in row comparence and could even do not have an operator   class. Btree and GiST could support
that.

The form
CREATE UNIQUE INDEX ON tbl  (f1, f2, f3)
is exact equivalent of form
CREATE INDEX idx ON tbl (f1, f2, f3) UNIQUE ON (f1, f2, f3)

I hope, that it's doible without a lot of difficulties.
-- 
Teodor Sigaev                                   E-mail: teodor@sigaev.ru
  WWW: http://www.sigaev.ru/