calcite-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Josh Elser <>
Subject Re: Cosette - A tool for checking whether SQL statements are equivalent
Date Mon, 07 Aug 2017 16:22:28 GMT
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.
> 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).

View raw message