Tomas Vondra <tomas(dot)vondra(at)2ndquadrant(dot)com> writes:
> ISTM this patch got somewhat stuck as we're not quite sure the
> transformation is correct in all cases. Is my impression correct?
Yeah, that's the core issue.
> If yes, how to we convince ourselves? Would some sort of automated testing
> (generating data and queries) help? I'm willing to spend some cycles on
> that, if considered helpful.
I'm not sure if that would be enough to convince doubters. On the other
hand, if it found problems, that would definitely be useful.
regards, tom lane