Plan-of-SQLs Interface FN

Task: Verify the Statement against the Table

Statement: the android browser for android has a theora version of 2.3 and an h264 version of 3.0

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 'browser' is 'android browser' and 'operating_system' is 'android'.

Step 2: Select rows where 'theora' is '2.3' and 'h264' is '3.0'.

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

Step 1: Select rows where 'browser' is 'android browser' and 'operating_system' is 'android'.

SQL command for the step:

SELECT * FROM table_sql WHERE browser = 'android browser' AND operating_system = 'android';
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 'theora' is '2.3' and 'h264' is '3.0'.

SQL command for the step:

SELECT * FROM table_sql WHERE theora = '2.3' AND h264 = '3.0';
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

Step 3: 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