Cosette
Cosette copied to clipboard
uwdb
Cosette is an automated SQL solver.
The following query: ``` schema base(id:int, join_id:int); schema rel1(id:int, other_value:int); schema rel2(id:int, other_value:int); table aa(base); table bb(rel1); table cc(rel2); query q1 `SELECT DISTINCT id AS id, from_b AS from_b, from_c...
This code: ``` schema student_schema(indeks:int, ime:varchar, prezime:varchar, datum_upisa:date, datum_rodjenja:date, mesto_rodjenja:varchar); schema predmet_schema(id_predmeta:int, shifra:char, naziv:varchar, bodovi:int); schema ispitni_rok_schema(godina_roka:int, oznaka_roka:char, naziv:varchar); schema ispit_schema(indeks:int, id_predmeta:int, godina_roka:int, oznaka_roka:char, ocena:int, datum_ispita:date, bodovi:int); table student(student_schema); table...
The following example (slightly modified from the one in the page) generates tables with lots of repetition, which could be easily avoided by truncation. ``` schema employee(eid:int, age:int, ??); schema...
Counter examples today show information in tables to invalidate the equivalence, but does not show the result of the queries that makes evident that difference. It would be great if...
> 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...
Work in process - experimental branch on synthesize preconditions
When I ran cosette to check query that uses EXISTS in its WHERE caluse, cosette freezes. A similar query using IN in its WHERE clause works perfectly. Query 1 below...
/* define schema s1, here s1 can contain any number of attributes, but it has to at least contain integer attributes x and y */ schema s1(x:int, y:int, ??); table...
I would expect the following queries to be comparable, but alas I think NOT EXISTS does not parse. ``` schema sch_flights(fid:int, year:int, month_id:int, day_of_month:int, day_of_week_id:int, carrier_id:int, flight_num:int, origin_city:int, origin_state:int, dest_city:int,...
