Now showing items 1-1 of 1

    • Automated Reasoning of Database Queries 

      Chu, Shumo
      From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. This thesis describes Cosette, the first tool for automated reasoning the equivalences of SQL queries. The ...