ITAGAKI Takahiro <itagaki.takahiro@oss.ntt.co.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