calcite-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Julian Hyde <jh...@apache.org>
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.

https://medium.com/@uwdb/introducing-cosette-527898504bd6

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

Julian

Mime
View raw message