Cosette
Cosette copied to clipboard
Cosette is an automated SQL solver.
Hey! Could we get these features added? This is a query found when grading CSEP 544, HW3. ``` select distinct F2.dest_city as city from Flights F1, Flights F2 where F1.origin_city...
The following queries are not known as equivalent, even though they are exactly the same. Maybe you could try sorting the x = y and y = x, such that...
perhaps something is wrong with processing a predicate with two arguments (b1): ![cosette_bug](https://user-images.githubusercontent.com/5240042/31561783-b0670434-b061-11e7-99b5-cfed5ae64949.png)
Currently the rosette backhand has support for Left Outer Join but the front end does not. We need to add Left-Outer-Join support in the parser.
Hey guys, are there any plans to work on CTE (common table expressions) support? They are a part of SQL standard, supported by most popular RDBM and their usage is...
We should be able to find the Coq proof for the following query. Essentially A UNION ALL EMPTY = A. There are various ways of implementing that, though. ``` schema...
``` schema s1(id:ty0, ??); table Products(s1); table Inventory(s1); query q1 ` SELECT id as p_id FROM Products EXCEPT SELECT id as i_id FROM Inventory `; verify q1 q1; ``` The...