Plan-of-SQLs Interface TN

Task: Verify the Statement against the Table

Statement: the 4.2.1 jelly bean (november 27 , 2012 ) is the stable version where the h264 is 9.0 and vp9 (webm) is no

Table: html5 video

browser operating_system latest_stable_release theora h264 vp8___webm__ vp9___webm__
android browser android 2012-11-27 9999-02-03 9999-01-03 9999-02-03 9999-01-01
chromium all supported 9999-01-01 9999-01-01 9999-01-01 9999-01-01 9999-01-01
google chrome 30.0.1599.101 (october 15 , 2013 ) 2013-10-15 9999-01-03 9999-01-03 9999-01-06 9999-01-29
internet explorer windows 2013-10-17 9999-01-01 9999-09-01 9999-01-01 9999-01-01
internet explorer windows phone 2012-11-21 9999-01-01 9999-09-01 9999-01-01 9999-01-01
internet explorer windows rt 9999-01-10 9999-01-01 9999-01-10 9999-01-01 9999-01-01
konqueror all supported 2013-10-01 9999-04-01 9999-04-01 9999-04-01 9999-01-01
safari ios 2013-10-24 9999-01-01 9999-03-01 9999-01-01 9999-01-01
safari macos x 2013-10-24 9999-01-01 9999-03-01 9999-01-01 9999-01-01
Generating plan to answer the query...

Generated steps

Step 1: Select rows where the 'latest_stable_release' is '4.2.1 jelly bean (november 27 , 2012 )'.

Step 2: Select rows where the 'h264' is '9.0'.

Step 3: Select rows where the 'vp9___webm__' is 'no'.

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

Step 1: Select rows where the 'latest_stable_release' is '4.2.1 jelly bean (november 27 , 2012 )'.

SQL command for the step:

SELECT * FROM table_sql WHERE latest_stable_release = '4.2.1 jelly bean (november 27 , 2012 )';
browser operating_system latest_stable_release theora h264 vp8___webm__ vp9___webm__
android browser android 2012-11-27 9999-02-03 9999-01-03 9999-02-03 9999-01-01
chromium all supported 9999-01-01 9999-01-01 9999-01-01 9999-01-01 9999-01-01
google chrome 30.0.1599.101 (october 15 , 2013 ) 2013-10-15 9999-01-03 9999-01-03 9999-01-06 9999-01-29
internet explorer windows 2013-10-17 9999-01-01 9999-09-01 9999-01-01 9999-01-01
internet explorer windows phone 2012-11-21 9999-01-01 9999-09-01 9999-01-01 9999-01-01
internet explorer windows rt 9999-01-10 9999-01-01 9999-01-10 9999-01-01 9999-01-01
konqueror all supported 2013-10-01 9999-04-01 9999-04-01 9999-04-01 9999-01-01
safari ios 2013-10-24 9999-01-01 9999-03-01 9999-01-01 9999-01-01
safari macos x 2013-10-24 9999-01-01 9999-03-01 9999-01-01 9999-01-01

Step 2: Select rows where the 'h264' is '9.0'.

SQL command for the step:

SELECT * FROM table_sql WHERE h264 = '9.0';
browser operating_system latest_stable_release theora h264 vp8___webm__ vp9___webm__

Step 3: Select rows where the 'vp9___webm__' is 'no'.

SQL command for the step:

SELECT * FROM table_sql WHERE vp9___webm__ = 'no';
browser operating_system latest_stable_release theora h264 vp8___webm__ vp9___webm__

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

SQL command for the step:

SELECT CASE WHEN COUNT(*) = 1 THEN TRUE ELSE FALSE END AS verification FROM table_sql;
browser operating_system latest_stable_release theora h264 vp8___webm__ vp9___webm__

Verification:

The statement is FALSE