Cosette

Cosette copied to clipboard

Building the image now works with the updated Dockerfile.

ReinierKoops

What's the status of the project?

2

Where is Cosette 2.0?

yaitskov

I use cosette online to prove the count projection equivalence. The answer should be not equivalent. Because count(*) will include NULL value, while count(column) will exclude NULL value. The following...

JsToCode

EXISTS with subquery runs into out of time

1

**setup:** ``` schema TrackSchema(TrackId: int, Name: varchar, AlbumId: int, MediaTypeId: int, GenreId: int, Composer: varchar, Milliseconds: int, Bytes: int, UnitPrice: numeric); table Track(TrackSchema); schema GenreSchema(GenreId: int, Name: varchar); table Genre(GenreSchema);...

matthiastz

**setup:** ``` schema TrackSchema(TrackId: int, Name: varchar, AlbumId: int, MediaTypeId: int, GenreId: int, Composer: varchar, Milliseconds: int, Bytes: int, UnitPrice: numeric); table Track(TrackSchema); schema PlaylistTrackSchema(PlaylistId: int, TrackId: int); table PlaylistTrack(PlaylistTrackSchema);...

matthiastz

COUNT usage leads to error: Invalid generated Coq code

1

**setup:** ``` schema InvoiceSchema(InvoiceId: int, CustomerId: int, InvoiceDate: date, BillingAddress: varchar, BillingCity: varchar, BillingState: varchar, BillingCountry: varchar, BillingPostalCode: varchar, Total: numeric); table Invoice(InvoiceSchema); query q1 `SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM...

matthiastz

The following says "Invalid generated Coq file": ``` schema sch_flights(fid:int, month_id:int, day_of_month:int, day_of_week_id:int, carrier_id:string, flight_num:int, origin_city:string, origin_state:string, dest_city:string, dest_state:string, departure_delay:int, taxi_out:int, arrival_delay:int, canceled:int, actual_time:int, distance:int, capacity:int, price:int ); schema sch_carriers...

andrew4699

Test on demo website runs into out of time

2

**setup:** schema AlbumSchema(AlbumId: int, Title: varchar, ArtistId: int); table Album(AlbumSchema); query q1 -- define query q1 `SELECT * FROM Album a`; query q2 -- define query q1 `SELECT a.AlbumId, a.Title,...

matthiastz

``` /* define schema employee, here employee can contain any number of attributes, but it has to at least contain integer attributes eid and age */ schema customer(id:int, name:text, city:text);...

qaisjp

Input example: ```cosette /* define schema employee, here employee can contain any number of attributes, but it has to at least contain integer attributes eid and age */ schema customer(id:int,...

qaisjp