Tomas Vondra <tomas.von...@2ndquadrant.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