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 otherhand, if it found problems, that would definitely be useful.
regards, tom lane