CREATE TABLE song (f_id VARCHAR(255), formats VARCHAR(255), resolution INTEGER); CREATE TABLE files (f_id VARCHAR(255), formats VARCHAR(255), resolution INTEGER)
What are the ids of songs that are available in either mp4 format or have resolution above 720?
    
SQL: SELECT f_id FROM files WHERE formats = "mp4" UNION SELECT f_id FROM song WHERE resolution > 720