On 8/4/17 8:01 PM, Julian Hyde wrote:
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
Thanks for sharing the link!
It sounds to me like it would be a good addition (lest the optimizer
inadvertently modifies a query in a way that returns results the user
didn't intend).
