On Thu, 24 Apr 2025 at 21:27, Japin Li <japinli@hotmail.com> wrote: > I propose that PostgreSQL prevent redundant index creation by:
In any case, who are we to define what a duplicate index is?
I think this part is easier than you make it sound: everything (except the name) is exactly the same as an existing index. That's the 99% case we are trying to catch here.
I've had this idea before, and even wrote a quick POC at one point, but I had it simply throw a warning rather than an error. That avoids the need for any GUC, which I agree is not a good idea. And it still allows people to create a duplicate index if they really want to.
