Пусть имеется следующая диаграмма классов:

Требуется сформулировать ограничение: среди моряков любого корабля имеется не меньше пяти матросов. Какие из приведенных формулировок правильны?

Правильный ответ:

• # [Большая Картинка] Пусть имеется следующая диаграмма классов: Требуется сформулировать на языке OCL ограничение: служащие отдела с номером 35 не должны участвовать в проекте с номером 355. Какие из приведенных формулировок правильны?
• # Предположим, что в переменной отношения СЛУЖАЩИЕ {СЛУ_НОМЕР, СЛУ_ИМЯ, СЛУ_ЗАРП, СЛУ_РУК} атрибут СЛУ_РУК, содержащий номер служащего, являющегося руководителем данного служащего, объявлен внешним ключом, ссылающимся на первичный ключ {СЛУ_НОМЕР}). Что означает соответствующее ограничение целостности?
• # Имеются отношения СЛУЖАЩИЕ и ПРОЕКТЫ: СЛУЖАЩИЕ СЛУ_НОМЕРСЛУ_ИМЯСЛУ_ЗАРППРО_НОМ 2934Иванов22400.001 2935Петров29600.001 2936Сидоров18000.001 2937Федоров20000.001 2938Иванова22000.001 2934Иванов22400.002 2935Петров29600.002 2939Сидоренко18000.002 2940Федоренко20000.002 2941Иваненко22000.002 ПРОЕКТЫ ПРО_НОМПРОЕКТ_РУК 1Иванов 2Иваненко Определены кортежные переменные СЛУ и ПРО на отношениях СЛУЖАЩИЕ и ПРОЕКТЫ соответственно. При потребности в дополнительных переменных будем считать, что они также определены и именуются путем добавления цифр в конце имен СЛУ и ПРО. Определены также доменные переменные, имена которых совпадают с именами атрибутов отношений СЛУЖАЩИЕ и ПРОЕКТЫ, а в случае, когда требуется несколько доменных переменных, определенных на одном домене, будем добавлять в конце имени цифры. Какое из приведенных ниже отношений является областью истинности WFF? IF (СЛУ.СЛУ_ЗАРП > 18000.00 AND СЛУ.СЛУ_ЗАРП < 22000.00 AND IF (СЛУ.СЛУ_ИМЯ = ‘Федоров’) THEN (СЛУ.ПРО_НОМ = 1)) THEN (СЛУ.СЛУ_НОМЕР = 2941)
• # Имеются отношения СЛУЖАЩИЕ и ПРОЕКТЫ: СЛУЖАЩИЕ СЛУ_НОМЕРСЛУ_ИМЯСЛУ_ЗАРППРО_НОМ 2934Иванов22400.001 2935Петров29600.001 2936Сидоров18000.001 2937Федоров20000.001 2938Иванова22000.001 2934Иванов22400.002 2935Петров29600.002 2939Сидоренко18000.002 2940Федоренко20000.002 2941Иваненко22000.002 ПРОЕКТЫ ПРО_НОМПРОЕКТ_РУК 1Иванов 2Иваненко Определены кортежные переменные СЛУ и ПРО на отношениях СЛУЖАЩИЕ и ПРОЕКТЫ соответственно. При потребности в дополнительных переменных будем считать, что они также определены и именуются путем добавления цифр в конце имен СЛУ и ПРО. Определены также доменные переменные, имена которых совпадают с именами атрибутов отношений СЛУЖАЩИЕ и ПРОЕКТЫ, а в случае, когда требуется несколько доменных переменных, определенных на одном домене, будем добавлять в конце имени цифры. Какое из приведенных ниже отношений является областью истинности WFF? IF (СЛУ.СЛУ_НОМЕР != 2941) THEN (СЛУ.СЛУ_ЗАРП > 18000.00 AND СЛУ.СЛУ_ЗАРП < 22000.00 AND IF (СЛУ.СЛУ_ИМЯ = ‘Федоров’) THEN (СЛУ.ПРО_НОМ = 1))
• # Имеются отношения СЛУЖАЩИЕ и ПРОЕКТЫ: СЛУЖАЩИЕ СЛУ_НОМЕРСЛУ_ИМЯСЛУ_ЗАРППРО_НОМ 2934Иванов22400.001 2935Петров29600.001 2936Сидоров18000.001 2937Федоров20000.001 2938Иванова22000.001 2934Иванов22400.002 2935Петров29600.002 2939Сидоренко18000.002 2940Федоренко20000.002 2941Иваненко22000.002 ПРОЕКТЫ ПРО_НОМПРОЕКТ_РУК 1Иванов 2Иваненко Определены кортежные переменные СЛУ и ПРО на отношениях СЛУЖАЩИЕ и ПРОЕКТЫ соответственно. При потребности в дополнительных переменных будем считать, что они также определены и именуются путем добавления цифр в конце имен СЛУ и ПРО. Определены также доменные переменные, имена которых совпадают с именами атрибутов отношений СЛУЖАЩИЕ и ПРОЕКТЫ, а в случае, когда требуется несколько доменных переменных, определенных на одном домене, будем добавлять в конце имени цифры. Какое из приведенных ниже выражений реляционного исчисления кортежей правильно соответствует запросу “выдать имена служащих и имена руководителей проектов, в которых они участвуют, для тех проектов, в которых хотя бы один из участников получает минимальную зарплату среди всех участников всех проектов с тем же самым руководителем”?