Automated verification of query equivalence using satisfiability modulo theories

Database-as-a-service offerings enable users to quickly create and deploy complex data processing pipelines. In practice, these pipelines often exhibit significant overlap of computation due to red...