SELECT SUM(stip) FROM student

SELECT stud_name FROM student WHERE id_stud = ANY (SELECT id_stud FROM progress WHERE mark = 2)

SELECT id_tch, SUM(hour) FROM teacher GROUP BY id_tch

SELECT stud_name FROM student WHERE stip IN (1200, 1300, 1500)

SELECT id_stud FROM progress WHERE mark IS NULL;