calcite-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Julian Hyde <>
Subject Cosette - A tool for checking whether SQL statements are equivalent
Date Sat, 05 Aug 2017 00:01:19 GMT
Cosette is a tool that proves that two SQL statements are equivalent,
or tries to find a counter-example.

I wonder whether we can use it to make Calcite better? After all, our
rules are supposed to preserve semantics, right?


View raw message