Из каких аксиом Армстронга следует правило вывода композиции (если A →​ B и C →​ D, то AC →​ BD)?

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

• # Какое максимальное число кортежей может содержать значение-отношение с пустым заголовком?
• # Какие из приведенных ниже тождеств являются верными (отношения A и B совместимы по объединению)?
• # Пусть имеются два бинарных значения-отношения R1 {A, B} и R2 {A, С}, домен атрибутов которого состоит из множества значений {1, 2, 3, 4}: R1AB143341 R2AC213314 Каким будет тело результата операции R1 <OR> R2?
• # Пусть множество функциональных зависимостей S2 является покрытием множества функциональных зависимостей S1. Какое из следующих утверждения является верным?
• # Пусть имеется переменная отношения ПРЕПОДАВАТЕЛЬ_КУРС_КНИГА {ПРЕП_НОМ, КУРС_НОМ, КНИГА_НОМ, СТУД_ЧИСЛО}. Атрибут ПРЕП_НОМ содержит уникальные номера преподавателей, КУРС_НОМ – уникальный номер курса, КНИГА_НОМ – уникальный номер учебника, СТУД_ЧИСЛО – число студентов, посещающих данный курс данного преподавателя. Каждый преподаватель может вести любой курс, но пользоваться при его проведении только одним учебником. Преподавателю запрещено пользоваться тем же учебником в других его курсах. Каждый курс может вестись несколькими преподавателями. При преподавании одного курса преподаватели могут пользоваться разными учебниками. Какие из следующих декомпозиций являются корректной и приводят к проекциям, находящимся в нормальной форме Бойса-Кодда?