zhouqingqing / qpmodel / 24111122770

90%

Build Type

push

github

Committed by zhouqingqing

Commit Message

Fix OR-ed EXISTS decorrelation and restore sql06 test

Neumann decorrelation now correctly detects subqueries inside OR
expressions (e.g., EXISTS(A) OR EXISTS(B)) and falls back to the
MarkJoin path, which preserves OR semantics through marker columns.
Previously, each EXISTS was converted to a separate Semi join,
imposing AND semantics and producing wrong results (TPCDS q35/q69/q94).

The fix checks eligibility before entering the Neumann loop: all
correlated subqueries must be EXISTS (not IN/scalar) and not inside
OR. If any subquery needs fallback, the entire DependentJoin uses the
non-Neumann MarkJoin path to avoid plan tree mutation conflicts.

Also restores sql06 (nested uncorrelated EXISTS) to the PhysicPlanOnly
test — the earlier hang issue no longer reproduces.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Coverage Stats

4508 of 5256 branches covered (85.77%)

Branch coverage included in aggregate %.

38 of 43 new or added lines in 1 file covered. (88.37%)

2 existing lines in 1 file now uncovered.

11177 of 12055 relevant lines covered (92.72%)

2779309.1 hits per line