feat(asap-planner): support SQL COUNT(DISTINCT) -> HLL streaming/inference config generation

[akanksha-akkihal]

Support HLL-backed CARDINALITY Aggregations

Summary

Add end-to-end support for SQL CARDINALITY using HyperLogLog (HLL) sketches, including planner mapping, label routing, and configurable HLL precision.

Changes

promql_utilities — query_logics/logics.rs

• Map:

  Statistic::Cardinality

  to:

  (AggregationType::HLL, "")

• Set:

  AggregationType::HLL => false

  in does_precompute_operator_support_subpopulations() so:

  • grouping = SQL GROUP BY columns
  • aggregated = empty

  Distinct values are stored in value_column.

• Test: test_cardinality_maps_to_hll

asap-planner-rs — planner/sql.rs

• Map:

  CARDINALITY(...)

  to:

  vec![Statistic::Cardinality]

• For cardinality queries:

  • rollup = []
  • grouping = GROUP BY columns

  The distinct column is sketched via value_column, not treated as a rollup dimension.

asap-planner-rs — planner/sketch.rs

• Add AggregationType::HLL support using:

  parameters.precision

• Default precision:

  14
  

asap-planner-rs — config/input.rs

• Add:

  HllParams

• Support overrides:

  sketch_parameters:
    HLL:
      precision: <value>

asap-planner-rs — tests/sql_integration.rs

• Add spatial_count_distinct_hll validating:

  • 1s spatial window
  • HLL aggregation
  • value_column: dstip
  • grouping: [srcip]
  • empty rollup
  • no DeltaSetAggregator

Example

SELECT srcip, CARDINALITY(dstip)
FROM netflow
GROUP BY srcip

Produces:

aggregation: HLL
value_column: dstip
grouping: [srcip]
rollup: []

with one HLL sketch per srcip group.