Adding spanning unique constraint