Пусть имеется переменная отношения ВЫЛЕТ_САМОЛЕТА {НОМЕР_РЕЙСА, ПУНКТ_ПРИБЫТИЯ, ВРЕМЯ_В_ПУТИ, ТИП_САМОЛЕТА, ИМЯ_ПИЛОТА, ДАТА_ВРЕМЯ_ВЫЛЕТА, ДОП_ИНФО}. Атрибут НОМЕР_РЕЙСА содержит уникальные номера авиарейсов, ПУНКТ_ПРИБЫТИЯ – название города, в аэропорт которого прибывает данный рейс, ВРЕМЯ_В_ПУТИ – длительность данного рейса, ТИП_САМОЛЕТА – уникальный идентификатор типа самолета, ИМЯ_ПИЛОТА – имя пилота, который совершает данный рейс на самолете данного типа, ДАТА_ВРЕМЯ_ВЫЛЕТА – дата и время вылета самолетов, следующих данным рейсом, ДОП_ИНФО – дополнительная информация о вылете данного рейса в данный день. Рейсы выполняются один раз в день, у каждого рейса всегда имеется один и тот же пункт назначения, данный рейс всегда длится одно и то же время, тип самолета для одного рейса и имя пилота для данного рейса могут меняться день ото дня, но в один день самолеты одного и того же типа и одни и те же пилоты могут принимать участие в разных рейсах, в одно время могут стартовать несколько рейсов, и каждый день вылету самолета по данному рейсу сопутствует дополнительная информация (например, вылетает ли самолет вовремя, или вылет задерживается). Какая из следующих декомпозиций является корректной и приводит к проекциям, находящимся во второй нормальной форме?

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

• # Пусть имеется следующая диаграмма классов: [Большая Картинка] Требуется сформулировать на языке OCL ограничение: на каждом корабле число матросов должно превышать капитанов и мичманов, служащих на том же корабле. Какие из приведенных формулировок правильны?
• # Пусть имеется следующая диаграмма классов: [Большая Картинка] Задано следующее ограничение целостности на языке OCL: context СЛУЖАЩИЙ inv: self →​ COLLECT (проект) →​ COLLECT (менеджер) SELECT (self.номер = номер) →​ size () = 0 Какая из следующих формулировок этого ограничения на русском языке является правильной?
• # Пусть имеется отношение INTEGER {A}, домен атрибута которого содержит множество целых чисел от 1 до n, а тело состоит из унарных кортежей, значения которых – допустимые целые числа, делящиеся на 15. Каким будет тело результата операции <NOT> INTEGER?
• # Пусть S+ является замыканием множества функциональных зависимостей S. Какой факт тогда является верным?
• # Пусть имеется переменная отношения ВЫЛЕТ_РЕЙСА {НОМЕР_РЕЙСА, ТИП_САМОЛЕТА, ПИЛОТ_НОМ, ДАТА_ВРЕМЯ_ВЫЛЕТА, ДОП_ИНФО}. Атрибут НОМЕР_РЕЙСА содержит уникальные номера авиарейсов, ТИП_САМОЛЕТА – уникальный идентификатор типа самолета, ПИЛОТ_НОМ – уникальный номер пилота, который совершает данный рейс на самолете данного типа, ДАТА_ВРЕМЯ_ВЫЛЕТА – дата и время вылета самолетов, следующих данным рейсом, ДОП_ИНФО – дополнительная информация о вылете данного рейса в данный день. Рейсы выполняются один раз в день, тип самолета для одного рейса и номер пилота для данного рейса могут меняться день ото дня, но в один день самолеты одного и того же типа и одни и те же пилоты могут принимать участие в разных рейсах, один пилот может управлять самолетами только одного типа, в одно время могут стартовать несколько рейсов, и каждый день вылету самолета по данному рейсу сопутствует дополнительная информация (например, вылетает ли самолет вовремя, или вылет задерживается). Какая из следующих декомпозиций является корректной и приводит к проекциям, находящимся в третьей нормальной форме?