Repository navigation

feat: lower SQL through unified operators and scalars - #539

Draft

zzylol wants to merge 18 commits into

stack/528-02c-coverage-derivationfrom

stack/528-04-sql

Commits on Oct 7, 2026
- feat(ir): define compatible logical summary merges
  zzylol
  committed
  87192d7
- feat(ir): require disjoint coverage for summary merges
  zzylol
  committed
  4fa2db9
- refactor(ir): use SummaryCoverage names in summary merges
  
  zzylol
  and
  claude
  committed
  4596a7a
- feat(ir): check merge update/reduction on producers; test documented coverage examples
  
  zzylol
  and
  claude
  committed
  fe35b52
- test(ir): point coverage examples at the design document
  
  zzylol
  and
  claude
  committed
  32c4b24
- test(ir): point coverage examples at the ASAP primitive schema design doc
  
  zzylol
  and
  claude
  committed
  4c94aec
- feat(ir): reject summary merges of heap-based sketches
  
  zzylol
  and
  claude
  committed
  548339f
- refactor(ir): compute merge coverage with SummaryCoverage::of_merge
  
  zzylol
  and
  claude
  committed
  d951cbb
- refactor(ir): leave summary merge coverage to #646; allow heap-based sketches
  
  zzylol
  and
  claude
  committed
  8caceed
- refactor(ir): rename summary_update to summary_input_data
  
  zzylol
  and
  claude
  committed
  cf3fc26
- feat(ir): record summarized columns in SummaryCoverage
  
  zzylol
  and
  claude
  committed
  c8d6564
- docs(ir): attach the merge_disjoint doc comment to merge_disjoint
  
  zzylol
  and
  claude
  committed
  7ce0660
- refactor(ir): keep SummaryMerge structural; leave coverage to #646
  
  zzylol
  and
  claude
  committed
  4a0eab7
- feat(ir): derive summary coverage as definition + selection
  
  zzylol
  and
  claude
  committed
  adbe786
- fix(ir): keep ambiguous columns and untyped-equal literals out of selections
  
  zzylol
  and
  claude
  committed
  ebd2a93
- feat: lower SQL through unified operators and scalars
  zzylol
  committed
  dc6bf11
- fix: integrate with #614 (DataFusion 54) in the unified SQL lowering
  
  zzylol
  and
  claude
  committed
  25c1fdc
- style: apply cargo fmt
  
  zzylol
  and
  claude
  committed
  d58225d

Navigation Menu

Repository navigation

feat: lower SQL through unified operators and scalars - #539

feat: lower SQL through unified operators and scalars#539
zzylol wants to merge 18 commits into
stack/528-02c-coverage-derivationfrom
stack/528-04-sql

Commits on Oct 7, 2026

feat(ir): define compatible logical summary merges

feat(ir): require disjoint coverage for summary merges

refactor(ir): use SummaryCoverage names in summary merges

feat(ir): check merge update/reduction on producers; test documented coverage examples

test(ir): point coverage examples at the design document

test(ir): point coverage examples at the ASAP primitive schema design doc

feat(ir): reject summary merges of heap-based sketches

refactor(ir): compute merge coverage with SummaryCoverage::of_merge

refactor(ir): leave summary merge coverage to #646; allow heap-based sketches

refactor(ir): rename summary_update to summary_input_data

feat(ir): record summarized columns in SummaryCoverage

docs(ir): attach the merge_disjoint doc comment to merge_disjoint

refactor(ir): keep SummaryMerge structural; leave coverage to #646

feat(ir): derive summary coverage as definition + selection

fix(ir): keep ambiguous columns and untyped-equal literals out of selections

feat: lower SQL through unified operators and scalars

fix: integrate with #614 (DataFusion 54) in the unified SQL lowering

style: apply cargo fmt