Speeding up symbolic reasoning for relational queries

The ability to reason about relational queries plays an important role across many types of database applications, such as test data generation, query equivalence checking, and computer-assisted qu...