Feature request: EXISTS, IN

[junseung-hwang]

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]

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.