:: >I can apply a FK on a PK and unique constraint, but not to
:: a unique index?
:: >
:: >
:: >
:: PK are already unique.

Yes I know - but so are unique indexes. I think you missed the message...