Accurate estimation of the number of tuples satisfying a condition | Synapse