uwdb / Cosette

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

Supporting general group by #42

Closed Mestway closed 6 years ago

Mestway commented 7 years ago

We want to enable Cosette to handle the following new forms of aggregation query forms:

An demonic example is shown below.

Select a, max(c), b + 1, count(*) + 2, min(a + b)
From  t
Group by a, b 
Having min(d - a) > 2
Mestway commented 7 years ago

Rosette side support done, the rest is to add parser support. Interface use example can be find at rosette/tests/denotation-test.rkt.