What are the ids of songs that are available in either mp4 format or have resolution above 720?
SELECT f_id FROM files WHERE formats  =  "mp4" UNION SELECT f_id FROM song WHERE resolution  >  720
ids of songs refers to f_id; available in mp4 format refers to formats = 'mp4'; have resolution above 720 refers to resolution > 720;