Interval Arithmetic in DataFusion: Proving That a Predicate Can Only Match Certain Values
DataFusion’s constraint propagator builds a directed acyclic expression graph, computes each node’s value interval bottom-up, then propagates the filter’s constraint back down to …