Interactive POS Demo

Task: Verify the Statement against the Table

Statement: ngc 1574 has a deeper declination (or dec) of °58′29″ , than any other galaxy in the dorado group

Table: dorado group

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude
ngc 2082	sab (rs + ) c	05h41 m51.1s	degree18′04″	1184 ± 6	12.6
ngc 1947	s0 - pec	05h26 m47.6s	degree45′36″	1100 ± 24	11.7
ngc 1796	(r) sb (r) dm :	05h02 m42.5s	degree08′24″	1014 ± 9	12.9
ngc 1688	sb (rs) dm	04h48 m23.8s	degree48′01″	1228 ± 6	12.6
ngc 1672	(r'_1: ) sb (r) bc sy2	04h45 m42.5s	degree14′50″	1331 ± 3	10.3
ic 2056	sab (r) b	04h16 m24.5s	degree12′25″	1133 ± 10	12.5
ngc 1559	sb (s) cd	04h17 m35.8s	degree47′01″	1304 ± 4	11.0
ngc 1543	(r) sb (l) 0 0	04h12 m43.2s	degree44′17″	1176 ± 7	11.5
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4
ngc 1533	(l) sb (rs) 0 0	04h09 m51.8s	degree07′06″	790 ± 5	11.7
ngc 1546	sa0 +	04h14 m36.5s	degree03′39″	1284 ± 14	11.8
ngc 1553	sa (rl) 0 0	04h16 m10.5s	degree46′49″	1080 ± 11	10.3
ngc 1549	e0 1	04h15 m45.1s	degree35′32″	1220 ± 15	10.7
ngc 1566	(r'_1) sab (rs) bcsy1	04h20 m00.4s	degree56′16″	1504 ± 2	10.3
ngc 1617	(r') sab (rs) a	04h31 m39.5s	degree36′08″	1063 ± 21	11.4
ngc 1515	sab (s) bc	04h04 m02.7s	degree06′00″	1175 ± 7	12.1
ngc 1705	sa0 - pec	04h54 m13.5s	degree21′40″	633 ± 6	12.8
ngc 1596	sa0: sp	04h27 m38.1s	degree01′40″	1510 ± 8	12.1

Generating plan to answer the query...

Generated steps

Step 1: Select rows where 'name' is 'ngc 1574'.

Step 2: Extract the numerical value of 'dec___j2000__' column then add column 'dec_deg' to existing table.

Step 3: Select rows where 'dec_deg' is greater than or equal to 58.

Step 4: Select rows where 'dec_deg' is less than or equal to 59.

Step 5: Extract the numerical value of 'dec___j2000__' column then add column 'dec_min' to existing table.

Step 6: Select rows where 'dec_min' is greater than or equal to 29.

Step 7: Select rows where 'dec_min' is less than or equal to 30.

Step 8: Extract the numerical value of 'dec___j2000__' column then add column 'dec_sec' to existing table.

Step 9: Select rows where 'dec_sec' is greater than or equal to 0.

Step 10: Select rows where 'dec_sec' is less than or

Step 1: Select rows where 'name' is 'ngc 1574'.

SQL command for the step:

SELECT * FROM table_sql WHERE name = 'ngc 1574';

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude
ngc 2082	sab (rs + ) c	05h41 m51.1s	degree18′04″	1184 ± 6	12.6
ngc 1947	s0 - pec	05h26 m47.6s	degree45′36″	1100 ± 24	11.7
ngc 1796	(r) sb (r) dm :	05h02 m42.5s	degree08′24″	1014 ± 9	12.9
ngc 1688	sb (rs) dm	04h48 m23.8s	degree48′01″	1228 ± 6	12.6
ngc 1672	(r'_1: ) sb (r) bc sy2	04h45 m42.5s	degree14′50″	1331 ± 3	10.3
ic 2056	sab (r) b	04h16 m24.5s	degree12′25″	1133 ± 10	12.5
ngc 1559	sb (s) cd	04h17 m35.8s	degree47′01″	1304 ± 4	11.0
ngc 1543	(r) sb (l) 0 0	04h12 m43.2s	degree44′17″	1176 ± 7	11.5
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4
ngc 1533	(l) sb (rs) 0 0	04h09 m51.8s	degree07′06″	790 ± 5	11.7
ngc 1546	sa0 +	04h14 m36.5s	degree03′39″	1284 ± 14	11.8
ngc 1553	sa (rl) 0 0	04h16 m10.5s	degree46′49″	1080 ± 11	10.3
ngc 1549	e0 1	04h15 m45.1s	degree35′32″	1220 ± 15	10.7
ngc 1566	(r'_1) sab (rs) bcsy1	04h20 m00.4s	degree56′16″	1504 ± 2	10.3
ngc 1617	(r') sab (rs) a	04h31 m39.5s	degree36′08″	1063 ± 21	11.4
ngc 1515	sab (s) bc	04h04 m02.7s	degree06′00″	1175 ± 7	12.1
ngc 1705	sa0 - pec	04h54 m13.5s	degree21′40″	633 ± 6	12.8
ngc 1596	sa0: sp	04h27 m38.1s	degree01′40″	1510 ± 8	12.1

Step 2: Extract the numerical value of 'dec_j2000' column then add column 'dec_deg' to existing table.

SQL command for the step:

ALTER TABLE table_sql ADD COLUMN dec_deg FLOAT;
UPDATE table_sql SET dec_deg = CAST(SUBSTRING_INDEX(dec___j2000__, ' ', -1) AS FLOAT);

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4

Step 3: Select rows where 'dec_deg' is greater than or equal to 58.

SQL command for the step:

SELECT * FROM table_sql WHERE dec_deg >= 58;

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude	dec_deg
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4	58.0

Step 4: Select rows where 'dec_deg' is less than or equal to 59.

SQL command for the step:

SELECT * FROM table_sql WHERE dec_deg <= 59;

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude	dec_deg
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4	58.0

Step 5: Extract the numerical value of 'dec_j2000' column then add column 'dec_min' to existing table.

SQL command for the step:

ALTER TABLE table_sql ADD COLUMN dec_min DECIMAL; UPDATE table_sql SET dec_min = CAST(SUBSTRING_INDEX(dec___j2000__, ' ', -1) AS DECIMAL);

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude	dec_deg
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4	58.0

Step 6: Select rows where 'dec_min' is greater than or equal to 29.

SQL command for the step:

SELECT * FROM table_sql WHERE dec_min >= 29;

name	type	ra___j2000__	dec___j2000__	redshift__km___s__	apparent_magnitude	dec_deg	dec_min
ngc 1574	sa0 -	04h21 m58.8s	degree58′29″	1050 ± 25	11.4	58.0	0.0

Step 7: Select rows where 'dec_min' is less than or equal to 30.

SQL command for the step:

SELECT * FROM table_sql WHERE dec_min <= 30;

name

type

ra___j2000__

dec___j2000__

redshift__km___s__

apparent_magnitude

dec_deg

dec_min

Step 8: Extract the numerical value of 'dec_j2000' column then add column 'dec_sec' to existing table.

SQL command for the step:

ALTER TABLE table_sql ADD COLUMN dec_sec DECIMAL; UPDATE table_sql SET dec_sec = CAST(SUBSTRING_INDEX(dec___j2000__, ' ', -1) AS DECIMAL);

name

type

ra___j2000__

dec___j2000__

redshift__km___s__

apparent_magnitude

dec_deg

dec_min

Step 9: Select rows where 'dec_sec' is greater than or equal to 0.

SQL command for the step:

SELECT * FROM table_sql WHERE dec_sec >= 0;

name

type

ra___j2000__

dec___j2000__

redshift__km___s__

apparent_magnitude

dec_deg

dec_min

dec_sec

Step 10: Select rows where 'dec_sec' is less than or

SQL command for the step:

SELECT * FROM table_sql WHERE dec_sec < TRUE;

name

type

ra___j2000__

dec___j2000__

redshift__km___s__

apparent_magnitude

dec_deg

dec_min

dec_sec

Verification:

The statement is FALSE

Plan-of-SQLs Interface FN

Task: Verify the Statement against the Table

Table: dorado group

Generated steps

Step 1: Select rows where 'name' is 'ngc 1574'.

SQL command for the step:

Step 2: Extract the numerical value of 'dec___j2000__' column then add column 'dec_deg' to existing table.

SQL command for the step:

Step 3: Select rows where 'dec_deg' is greater than or equal to 58.

SQL command for the step:

Step 4: Select rows where 'dec_deg' is less than or equal to 59.

SQL command for the step:

Step 5: Extract the numerical value of 'dec___j2000__' column then add column 'dec_min' to existing table.

SQL command for the step:

Step 6: Select rows where 'dec_min' is greater than or equal to 29.

SQL command for the step:

Step 7: Select rows where 'dec_min' is less than or equal to 30.

SQL command for the step:

Step 8: Extract the numerical value of 'dec___j2000__' column then add column 'dec_sec' to existing table.

SQL command for the step:

Step 9: Select rows where 'dec_sec' is greater than or equal to 0.

SQL command for the step:

Step 10: Select rows where 'dec_sec' is less than or

SQL command for the step:

Verification:

Step 2: Extract the numerical value of 'dec_j2000' column then add column 'dec_deg' to existing table.

Step 5: Extract the numerical value of 'dec_j2000' column then add column 'dec_min' to existing table.

Step 8: Extract the numerical value of 'dec_j2000' column then add column 'dec_sec' to existing table.