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

Вопрос

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

• СЛУ1.СЛУ_ИМЯ WHERE EXISTS ПРО ((СЛУ1.ПРО_НОМ = ПРО.ПРО_НОМ) AND EXISTS СЛУ2 ((СЛУ2.ПРО_НОМ = ПРО.ПРО_НОМ) AND FORALL СЛУ3 (СЛУ3.СЛУ_ЗАРП <= СЛУ2.СЛУ_ЗАРП))
• СЛУ1.СЛУ_ИМЯ WHERE FORALL СЛУ2 IF (СЛУ1.ПРО_НОМ = СЛУ2.ПРО_НОМ) THEN FORALL СЛУ3 (СЛУ3.СЛУ_ЗАРП >= СЛУ2.СЛУ_ЗАРП)
• СЛУ1.СЛУ_ИМЯ WHERE EXISTS СЛУ2 ((СЛУ1.ПРО_НОМ = СЛУ2.ПРО_НОМ) AND FORALL СЛУ3 (СЛУ3.СЛУ_ЗАРП <= СЛУ2.СЛУ_ЗАРП))

Ответ