Имеются отношения СЛУЖАЩИЕ и - Ответ на вопрос по любому предмету №1169403

Вопрос

Имеются отношения СЛУЖАЩИЕ и ПРОЕКТЫ:СЛУЖАЩИЕСЛУ_НОМЕРСЛУ_ИМЯСЛУ_ЗАРППРО_НОМ2934Иванов22400.0012935Петров29600.0012936Сидоров18000.0012937Федоров20000.0012938Иванова22000.0012934Иванов22400.0022935Петров29600.0022939Сидоренко18000.0022940Федоренко20000.0022941Иваненко22000.002ПРОЕКТЫПРО_НОМПРОЕКТ_РУК1Иванов2ИваненкоОпределены кортежные переменные СЛУ и ПРО на отношениях СЛУЖАЩИЕ и ПРОЕКТЫ соответственно. При потребности в дополнительных переменных будем считать, что они также определены и именуются путем добавления цифр в конце имен СЛУ и ПРО.Определены также доменные переменные, имена которых совпадают с именами атрибутов отношений СЛУЖАЩИЕ и ПРОЕКТЫ, а в случае, когда требуется несколько доменных переменных, определенных на одном домене, будем добавлять в конце имени цифры.Какое из приведенных ниже выражений реляционного исчисления доменов правильно соответствует запросу "выдать имена служащих и имена руководителей проектов, в которых они участвуют, для тех проектов, в которых хотя бы один из участников получает минимальную зарплату среди всех участников всех проектов с тем же самым руководителем"?

• СЛУ_ИМЯ1, ПРОЕКТ_РУК1WHERE СЛУЖАЩИЕ (СЛУ_ИМЯ:СЛУ_ИМЯ1, СЛУ_ЗАРП:СЛУ_ЗАРП1, ПРО_НОМ:ПРО_НОМ1) AND IF ПРОЕКТЫ (ПРО_НОМ:ПРО_НОМ1, ПРОЕКТ_РУК:ПРОЕКТ_РУК) THEN EXISTS СЛУ_ЗАРП2 (СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП2, ПРО_НОМ:ПРО_НОМ1) AND FORALL СЛУ_ЗАРП3 IF СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП3, ПРО_НОМ:ПРО_НОМ2) THEN СЛУ_ЗАРП2 <= СЛУ_ЗАРП3)
• СЛУ_ИМЯ1, ПРОЕКТ_РУК1WHERE СЛУЖАЩИЕ (СЛУ_ИМЯ:СЛУ_ИМЯ1, СЛУ_ЗАРП:СЛУ_ЗАРП1, ПРО_НОМ:ПРО_НОМ1) AND ПРОЕКТЫ (ПРО_НОМ:ПРО_НОМ1, ПРОЕКТ_РУК:ПРОЕКТ_РУК1) AND FORALL ПРО_НОМ2 IF ПРОЕКТЫ (ПРО_НОМ:ПРО_НОМ2, ПРОЕКТ_РУК:ПРОЕКТ_РУК1) THEN EXISTS СЛУ_ЗАРП2 (СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП2, ПРО_НОМ:ПРО_НОМ1) AND FORALL СЛУ_ЗАРП3 IF СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП3, ПРО_НОМ:ПРО_НОМ2) THEN СЛУ_ЗАРП2 <= СЛУ_ЗАРП3)
• СЛУ_ИМЯ1, ПРОЕКТ_РУК1WHERE FORALL ПРО_НОМ1 (СЛУЖАЩИЕ (СЛУ_ИМЯ:СЛУ_ИМЯ1, СЛУ_ЗАРП:СЛУ_ЗАРП1, ПРО_НОМ:ПРО_НОМ1) AND ПРОЕКТЫ (ПРО_НОМ:ПРО_НОМ1, ПРОЕКТ_РУК:ПРОЕКТ_РУК) AND IF ПРОЕКТЫ (ПРО_НОМ:ПРО_НОМ2, ПРОЕКТ_РУК:ПРОЕКТ_РУК)) THEN EXISTS СЛУ_ЗАРП2 (СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП2, ПРО_НОМ:ПРО_НОМ1) AND FORALL СЛУ_ЗАРП3 IF (СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП3, ПРО_НОМ:ПРО_НОМ2) THEN СЛУ_ЗАРП2 <= СЛУ_ЗАРП3))

Ответ