Fine-Grained Provenance And Applications To Data Analytics Computation