Prove calcite rules - Githubissues

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

662 stars 54 forks source link

Prove calcite rules #40

Closed stechu closed 7 years ago

stechu commented 7 years ago

[x] join commute
[x] product join transpose