ITAGAKI Takahiro <itagaki.takahiro@xxxxxxxxxxxxx> writes: > I found that the planner can decude equality operators, > but cannot decude inequality ones. > Are there any plans to improve handling of them? Not particularly; it doesn't seem like something that comes up often enough to be worth the work. regards, tom lane