-
Couldn't load subscription status.
- Fork 55
Open
Description
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);
query q1
`SELECT t.TrackId, t.Name, t.GenreId
FROM Track t
WHERE EXISTS
(SELECT g.GenreId FROM Genre g WHERE t.GenreId = g.GenreId AND (g.Name = 'Reggae' OR g.Name = 'Jazz'))`;
query q2
`SELECT t.TrackId, t.Name, t.GenreId
FROM Track t
WHERE EXISTS
(SELECT g.GenreId FROM Genre g WHERE t.GenreId = g.GenreId AND g.Name = 'Reggae' OR g.Name = 'Jazz')`;
verify q1 q2;
result:
Two queries' equivalence is unknown. Solver runs out of time.
Metadata
Metadata
Assignees
Labels
No labels