Pushing Theoretically-Founded Probabilistic Guarantees in Highly-Efficient OLAP Engines