LOWER(col) 上唯一索引的唯一约束违规

Question

我遇到了一个很奇怪的行为，希望这里的专家能帮我解释一下为什么会出现这种现象。

我在 PostgreSQL 中有如下表和函数定义：

CREATE TABLE test_table (
    "Id" text PRIMARY KEY,
    "Counter" int NOT NULL
);

CREATE UNIQUE INDEX idx_test_table_id ON test_table("Id");

CREATE OR REPLACE FUNCTION public.test_func(id text)
RETURNS int
AS $$
DECLARE counter int;
BEGIN
    INSERT INTO public.test_table
    VALUES (id, 2)
    ON CONFLICT ("Id")
    DO UPDATE SET "Counter" = public.test_table."Counter" + 1
    RETURNING "Counter" - 1
    INTO counter;
        
    RETURN counter;
END
$$
LANGUAGE plpgsql;

我有一个测试客户端，它在循环中异步调用函数，并使用相同的 ID。

using Microsoft.VisualStudio.TestTools.UnitTesting;
using Npgsql;
using System;
using System.Collections.Generic;
using System.Data;
using System.Linq;
using System.Threading.Tasks;

namespace Sandbox
{
    [TestClass]
    public class UnitTest1
    {
        [TestMethod]
        public async Task TestMethod1()
        {
            int id = new Random().Next();

            IList<Task> tasks = new List<Task>();

            for (int i = 0; i < 80; i++)
            {
                tasks.Add(ExecutePgFunctionAsync(id.ToString()));
            }

            await Task.WhenAll(tasks.ToArray());
        }

        private async Task ExecutePgFunctionAsync(string id)
        {
            NpgsqlConnection conn = new NpgsqlConnection("Database=sandbox;Host=localhost;Password=runsmarter;Pooling=True;Port=12000;Timeout=15;Username=postgres;Include Error Detail=True");
            await conn.OpenAsync();

            using (NpgsqlCommand command = new NpgsqlCommand("test_func", conn))
            {
                try
                {
                    command.CommandType = CommandType.StoredProcedure;
                    command.Parameters.AddWithValue("id", id);
                    await command.ExecuteNonQueryAsync();
                }
                finally
                {
                    await command.Connection.CloseAsync();
                }
            }
        }
    }
}

使用上述定义，一切都很好。但是，如果我将唯一索引更改为：

CREATE UNIQUE INDEX idx_test_table_id ON test_table(LOWER("Id"));

我会开始偶尔收到以下错误：

Npgsql.PostgresException: 23505: 重复键值违反唯一约束“idx_test_table_id”

如果我在冲突条件中进一步添加LOWER()，即：

ON CONFLICT (LOWER("Id"))

错误变为：

Npgsql.PostgresException: 23505: 重复键值违反唯一约束“test_table_pkey”

为什么会出现这些错误？

附录

我在全新安装的 Visual Studio 和 PostgreSQL 上几乎按原样重新运行了原始代码。我在 ExecutePgFunctionAsync() 中添加了一个 catch 子句，希望能提供更多的诊断数据。

与：

我得到以下异常：

并且表在异常时处于以下状态（请注意Counter的值会因运行而异）：

与：

我得到以下异常：

并且该表在异常时处于以下状态：

Answer 1

不是真正的答案，只是一些太长的想法，无法在评论中显示：

1. 我在本地设置了一个测试用例，即使在运行多达 10,000 次插入时也不会出现重复错误。当然，我没有使用 Npgsql，只是 psql 中的一个匿名函数。我的猜测是这可能是我成功的原因，没有异步。更多内容如下。

2. 从这里On CONFLICT:

带有 ON CONFLICT DO UPDATE 子句的 INSERT 是“确定性”语句。这意味着该命令将不允许多次影响任何单个现有行；出现这种情况时将引发基数违规错误。建议插入的行不应在受仲裁索引或约束约束的属性方面相互重复。

1. 也来自上述链接：

conflict_target 可以执行唯一索引推断。执行推理时，它包含一个或多个 index_column_name 列和/或 index_expression 表达式，以及一个可选的 index_predicate。所有 table_name 唯一索引，不考虑顺序，准确包含冲突目标指定的列/表达式，都被推断（选择）为仲裁索引。

4. 我怀疑插入的异步特性会导致 2) 和/或 3) 跳闸。特别是因为“Id”上有两个唯一索引。虽然这并不能解释为什么 LOWER("Id") 似乎是一个问题。

5. 我仍然不确定将文本字段用于整数值的目的是什么？也不为什么如果这些值都是整数，你会使用 LOWER("Id")？

6. 为了有更好的机会获得明确的答案，我建议您发布到pgsql-general 邮件列表。虽然准备好回答关于 5) 中的问题。