ITAGAKI Takahiro <itagaki(dot)takahiro(at)oss(dot)ntt(dot)co(dot)jp> 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