uwdb / Cosette

Cosette is an automated SQL solver.
BSD 2-Clause "Simplified" License
662 stars 54 forks source link

Do you have document on how to use Cosette with Calcite RelNode in Java? #67

Open greatji opened 6 years ago

Mestway commented 6 years ago

The process of converting from Calcite RelNode to xxx.cos file is done manually. The process is documented at https://github.com/uwdb/Cosette/blob/master/examples/calcite/calcite_test.md.

Processed cases are stored in https://github.com/uwdb/Cosette/blob/master/examples/calcite/calcite_tests.json.

These processed cases are then later converted to xxx.cos file using the script https://github.com/uwdb/Cosette/blob/master/gen_cos_files.py.

Let me know if you have any other questions.