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
