search

uwdb / Cosette

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

Feature request: EXISTS, IN #65

Open junseung-hwang opened 6 years ago

junseung-hwang commented 6 years ago

Other Features and Limitations. The COSETTE constraints generator currently supports most standard SQL features. Besides the features mentioned above, EXISTS, IN, and LEFT OUTER JOIN are also supported. Currently COSETTE does not support string operations (e.g., LIKE) since COSETTE currently does not model strings as character arrays, along with ORDER BY.

The paper says Cosette supports EXISTS and IN, but it doesn't. For example, Cosette complains an example code in the github repositiory has a syntax error.

example code: https://raw.githubusercontent.com/uwdb/Cosette/master/examples/calcite/testDecorrelateTwoIn.cos tested under Cosette online demo and Cosette source code.

akcheung commented 6 years ago

Thanks! We have been having issues with our parser and we are planning to revamp it this summer. Would you be interested in helping out? Our goal is also to demonstrate cosette by building an autograder.