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

Задано следующее ограничение целостности на языке OCL:

context СЛУЖАЩИЙ inv: self →​ COLLECT (проект) →​ COLLECT (менеджер) SELECT (self.номер = номер) →​ size () = 0

Какая из следующих формулировок этого ограничения на русском языке является правильной?

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

• # Пусть имеется следующая диаграмма классов: [Большая Картинка] Требуется сформулировать ограничение: ни один из участников какого-либо проекта не должен работать в отделе, число работников в котором превышает число участников данного проекта. Какие из приведенных формулировок правильны?
• # Имеются отношения СЛУЖАЩИЕ и ПРОЕКТЫ: СЛУЖАЩИЕ СЛУ_НОМЕРСЛУ_ИМЯСЛУ_ЗАРППРО_НОМ 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 AND СЛУ.СЛУ_ЗАРП > 18000.00) THEN IF (СЛУ.СЛУ_НОМЕР = 2937 AND СЛУ.СЛУ_ЗАРП <= 22000.00) THEN (СЛУ.СЛУ_ИМЯ = ‘Федоров’)
• # Пусть задано отношение r {A, B, C}. В каком случае декомпозиция r PROJECT {A, B} и r PROJECT {A, C} называется декомпозицией без потерь?
• # Пусть имеется переменная отношения КУРСЫ_ПРЕПОДАВАТЕЛИ_КНИГИ {КУРС_НОМ, ПРЕП_НОМ, КНИГА_НОМ}. Данные, хранимые в этом отношении, служат для того, чтобы можно было подобрать для данного курса преподавателя и учебники. Значениями атрибута КУРС_НОМ являются уникальные номера курсов, ПРЕП_НОМ содержит уникальные номера преподавателей, КНИГА_НОМ – уникальные номера книг. Преподаватели могут вести разные курсы, одна и та же книга может быть использована разными преподавателями и/или в разных курсах. Но все преподаватели, использующие один и тот же учебник, могут вести только те курсы, темам которых посвящен этот учебник. Какая зависимость должна поддерживаться в значениях отношений переменной КУРСЫ_ПРЕПОДАВАТЕЛИ_КНИГИ?
• # В отношении r {A, B, C} выполняется FD A →​ B. Как в этом случае можно трактовать лемму Фейджина?