A linear-time probabilistic counting algorithm for database applications | Synapse