Verifying the Correctness of Analytic Query Results (Extended Abstract) | IEEE Conference Publication | IEEE Xplore