zhouqingqing / qpmodel / 24016922395

90%

push

github

Implement full Neumann decorrelation: D⋈ → regular Semi/AntiSemi join

- Push outer relation D down through subquery plan operators to leaf tables
- Convert dependent join to regular Semi/AntiSemi/Left joins with deparametrized predicates
- Semi joins use HashJoin; AntiSemi stays on NLJ (PhysicHashJoin anti-semi outputs unmatched right rows, NOT EXISTS needs unmatched left rows)
- InSubqueryExpr falls back to existing inToMarkJoin path for NULL-aware semantics
- ScalarSubqueryExpr falls back to existing SingleJoin path
- replaceSubqueryInFilter targets original outer node D, not evolving result
- Add neumann regress test configuration (subqueryd_neumann.sql)

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

4484 of 5230 branches covered (85.74%)

Branch coverage included in aggregate %.

111 of 159 new or added lines in 4 files covered. (69.81%)

11142 of 12015 relevant lines covered (92.73%)

2787409.08 hits per line