Commits on Aug 22, 2026
-
Restrict partial unique index estimates to base quals
A partial index predicate can be proven by movable join or EC-derived clauses. That proof is sufficient for index path selection, but not for treating a base-relation column as globally unique during selectivity estimation. Store the base-only result in predOKBase and use it for simple-column and expression-index estimates. This avoids underestimated base scans while preserving valid estimates when base quals satisfy the predicate. Add regression coverage for join-only and base-proven predicates.