Hi Peter, Hi Andrey, On Sun, Aug 2, 2026 at 9:55 AM Andrey Borodin <[email protected]> wrote: > > > On 2 Aug 2026, at 12:03, Peter Geoghegan <[email protected]> wrote: > > > > I think that you forgot to attach the patch with the actual fix? > > Oops. Sorry.
Peter, thank you for catching this. Andrey, thank you for the patch. Yes, multirange_gist_consistent() re-uses consistent functions from range opclass. And range_gist_consistent_leaf_multirange() generate false negatives when applied to union range of multirange. I've rechecked, and it appears to be the only case among the predicates. Regarding this contained-by case, I think we can build more precise test function. If we have multiranges q and k, and union() produces union range from multirange. q @> r doesn't mean q @> union(r) But if q @> r then union(q) @> union(r) ------ Regards, Alexander Korotkov Supabase
v3-0001-Fix-GiST-contained-by-scans-of-multiranges.patch
Description: Binary data
