Логика предикатов и базы данных

Для базы данных из примера 35 на стр. 162 построить выражение реляционной алгебры, задающее список фамилий сотрудников, в комнатах которых нет никакого оборудования. Построить формулу логики предикатов, определяющую то же отношение.

Пусть есть отношения $R$ и $S$ со схемами $(A_{1}, \ldots , A_{n}, B_{1}, \ldots , B_{m})$ и $(B_{1}, \ldots , B_{m})$ соответственно. Частным $R / S$ от деления отношения $R$ на отношение $S$ называется наибольшее отношение $Q$ с атрибутами $A_{1}, \ldots , A_{n}$, каждый набор $t$ которого в соединении с каждым набором $s \in S$ входит в $R$, то есть $Q \times S \subseteq R$. Построить выражение реляционной алгебры, эквивалентное $R / S$, и формулу логики предикатов, определяющую это отношение.

Написать SQL-запросы и соответствующие формулы для получения следующей информации из базы данных из примера 35 на стр. 162, вычислить результат:

Определить, какие из приведённых в примере 44 на предшествующей странице ограничений целостности выполняются для состояния базы данных из примера 35 на стр. 162.

Написать формулы, выражающие следующие ограничения целостности для базы данных из примера 35 на стр. 162, определить, какие из них выполняются для приведённого её состояния: