In the SQL:202x draft, this has been formalized by making this implementation-defined and adding an option on unique constraint definitions UNIQUE [ NULLS [NOT] DISTINCT ] to choose a behavior explicitly.
The CREATE UNIQUE INDEX syntax extension is not from the standard, it's my own invention.
For the unique index syntax, should this be selectable per column/expression, rather than for the entire index as a whole?
