Unraveling the Non-Deterministic Query Conundrum for Prestissimo Verification

Learn about enabling correctness verification of Prestissimo for non-deterministic queries in Meta's Presto production environment through this 28-minute technical talk from the Presto Foundation. Explore how to tackle the challenges posed by non-deterministic queries, which make up a significant portion of production traffic but produce results that aren't directly comparable between different engines and versions. Discover the methodologies for dividing this complex problem and implementing solutions using Presto Verifier and Velox Fuzzer to effectively rewrite non-deterministic queries and verify correctness at both query and expression levels.