Plan-of-SQLs Interface FN

Task: Verify the Statement against the Table

Statement: equestrian at the asian games happened every four years from 1982 to 2010 , except for in 1990

Table: equestrian at the asian games

year location gold silver bronze
1982 new delhi nadia al - moutawaa jamila al - moutawaa bariaa salem al - sabbah
1986 seoul takashi tomura shuichi toki ryuzo okuno
1994 hiroshima konoshin kuwahara ryuzo okuno natya chantrasmi
1998 bangkok jin kanno sohn bong - gak quzier ambak fathil
2002 busan mikaela marã­a jaworski lee jin - kyung tadayoshi hayashi
2006 doha ali yousuf al - rumaihi jasmine chen - shao man joo jung - hyun
2010 guangzhou ramzy al duhami latifa al maktom khaled al - eid
Generating plan to answer the query...

Generated steps

Step 1: Select rows where 'year' is not 1990.

Step 2: Use a `CASE` statement to return TRUE if the number of rows is equal to 6, otherwise return FALSE.

Step 1: Select rows where 'year' is not 1990.

SQL command for the step:

SELECT * FROM table_sql WHERE year <> 1990;
year location gold silver bronze
1982 new delhi nadia al - moutawaa jamila al - moutawaa bariaa salem al - sabbah
1986 seoul takashi tomura shuichi toki ryuzo okuno
1994 hiroshima konoshin kuwahara ryuzo okuno natya chantrasmi
1998 bangkok jin kanno sohn bong - gak quzier ambak fathil
2002 busan mikaela marã­a jaworski lee jin - kyung tadayoshi hayashi
2006 doha ali yousuf al - rumaihi jasmine chen - shao man joo jung - hyun
2010 guangzhou ramzy al duhami latifa al maktom khaled al - eid

Step 2: Use a `CASE` statement to return TRUE if the number of rows is equal to 6, otherwise return FALSE.

SQL command for the step:

SELECT CASE WHEN COUNT(*) = 6 THEN TRUE ELSE FALSE END AS verification FROM table_sql;
year location gold silver bronze
1982 new delhi nadia al - moutawaa jamila al - moutawaa bariaa salem al - sabbah
1986 seoul takashi tomura shuichi toki ryuzo okuno
1994 hiroshima konoshin kuwahara ryuzo okuno natya chantrasmi
1998 bangkok jin kanno sohn bong - gak quzier ambak fathil
2002 busan mikaela marã­a jaworski lee jin - kyung tadayoshi hayashi
2006 doha ali yousuf al - rumaihi jasmine chen - shao man joo jung - hyun
2010 guangzhou ramzy al duhami latifa al maktom khaled al - eid

Verification:

The statement is FALSE