Browsing Computer science and engineering by Subject "SMT Solver"
Now showing items 1-1 of 1
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 ...