All issues

Search results

Evaluate Verus for proving canonicalization semantic preservation

canonicalizationCanonical IR normalization and invariants Canonical IR normalization and invariants

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

testingCorpus, regression, differential, or benchmark tests Corpus, regression, differential, or benchmark tests

Status: Open.

#388 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 10, 2026

[Design] Integrate histogram-based approximation for set-valued query answers

bindingLogical-to-physical binding and implementation selection Logical-to-physical binding and implementation selection

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

enhancementNew feature or request New feature or request

error-estimation

irPre-ASAP or post-ASAP intermediate representation Pre-ASAP or post-ASAP intermediate representation

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

sqlSQL front-end lowering (DataFusion → L2) SQL front-end lowering (DataFusion → L2)

Status: Open.

#352 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 7, 2026

[Design] Considering how to split the confidence and error budget for group by

accuracyAccuracy requirements, guarantees, and propagation Accuracy requirements, guarantees, and propagation

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

enhancementNew feature or request New feature or request

error-estimation

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

subpopulationsGrouped, hierarchical, or multi-subpopulation summaries Grouped, hierarchical, or multi-subpopulation summaries

Status: Open.

#350 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 5, 2026

cost model: caching is missing from physical cost estimation

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

enhancementNew feature or request New feature or request

optimizerWorkload optimization and plan selection Workload optimization and plan selection

resource

testingCorpus, regression, differential, or benchmark tests Corpus, regression, differential, or benchmark tests

Status: Open.

#349 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 4, 2026

cost model: validate analytical estimates against empirical benchmark evidence

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

enhancementNew feature or request New feature or request

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

testingCorpus, regression, differential, or benchmark tests Corpus, regression, differential, or benchmark tests

Status: Open.

#347 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 4, 2026

Typed workload binding returns no physical expression for frequency and heap top-k sketches

bindingLogical-to-physical binding and implementation selection Logical-to-physical binding and implementation selection

bugSomething isn't working Something isn't working

optimizerWorkload optimization and plan selection Workload optimization and plan selection

workloadBatch, repeating, or multi-query workload modeling Batch, repeating, or multi-query workload modeling

Status: Open.

#340 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 3, 2026

Feed empirical sketch error, resource usage, and data distributions into planner estimates

accuracyAccuracy requirements, guarantees, and propagation Accuracy requirements, guarantees, and propagation

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

enhancementNew feature or request New feature or request

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

Status: Open.

#322 In ProjectASAP/ASAPPlanner;

· zzylol opened on Sep 2, 2026

[Design] Consider Using Ibis Query Syntax To Describe ASAPPlanner Query Syntax

enhancementNew feature or request New feature or request

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

Status: Open.

#309 In ProjectASAP/ASAPPlanner;

· Selvomega opened on Aug 28, 2026

[Docs/Design] Survey existing DB, how they use sketches, UDFs? how they expose and propagate errors?

accuracyAccuracy requirements, guarantees, and propagation Accuracy requirements, guarantees, and propagation

bindingLogical-to-physical binding and implementation selection Logical-to-physical binding and implementation selection

documentationImprovements or additions to documentation Improvements or additions to documentation

replacement-strategyASAP replacement candidates and physical strategies ASAP replacement candidates and physical strategies

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

Status: Open.

#308 In ProjectASAP/ASAPPlanner;

· zzylol opened on Aug 28, 2026

Preserve PromQL bool comparison modifier in pre-ASAP IR

irPre-ASAP or post-ASAP intermediate representation Pre-ASAP or post-ASAP intermediate representation

Status: Open.

#306 In ProjectASAP/ASAPPlanner;

· milindsrivastava1997 opened on Aug 28, 2026

Preserve distinct PromQL semantics for rate and irate in pre-ASAP IR

irPre-ASAP or post-ASAP intermediate representation Pre-ASAP or post-ASAP intermediate representation

Status: Open.

#305 In ProjectASAP/ASAPPlanner;

· milindsrivastava1997 opened on Aug 28, 2026

asap-aware-mapping: define optimization strategies, cost model, and nested-summary error propagation

accuracyAccuracy requirements, guarantees, and propagation Accuracy requirements, guarantees, and propagation

cost-modelCost formulas, statistics, ranking, and selection Cost formulas, statistics, ranking, and selection

documentationImprovements or additions to documentation Improvements or additions to documentation

enhancementNew feature or request New feature or request

replacement-strategyASAP replacement candidates and physical strategies ASAP replacement candidates and physical strategies

researchResearch evaluation, ADR, or experimental design Research evaluation, ADR, or experimental design

Status: Open.

#301 In ProjectASAP/ASAPPlanner;

· zzylol opened on Aug 27, 2026