Пусть база данных включает отношения Сотрудники(ФИО, Отдел, Должность, Оклад), Комнаты(ФИО_Сотрудника, Комната) и Оборудование( Комната, Название, Стоимость). Укажите, какие из приведенных формул логики предикатов выражают следующее ограничение целостности: стоимость любого аппарата в комнате сотрудника превышает его оклад не более чем в два раза.

Ф1 = ∀f∀o∀d∀z∀k∀s( (Сотрудники(f,o,d,z) ∧ Комнаты(f , k) ∧ Оборудование(k,n,s)) →​ (s < 2z))

Ф2 = ∀f∀o∀d∀z(Сотрудники(f,o,d,z) →​ ∃k∀s( Комнаты(f , k) ∧ Оборудование(k,n,s) ∧ (s < 2z)))

Ф3 = ∀f∀s (∃o∃d∃zСотрудники(f,o,d,z) →​ ∃k( Комнаты(f ,e, k) ∧ Оборудование(k,n,s) ∧ (s < 2z)))

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

• # Пусть заданы три множества: A={ a, {∅}, {a,c,d}}, B={a, c, e, {a}, {b},∅} и C = {a, b, c, d, {e}, ∅}. Какова мощность множества D = (A ∪ B) ∩ C?
• # Используя алгоритм БыстроеЗамыкание, вычислить замыкание для набора исходных продуктов X = { c,d} и следующей системы технологических процессов F: a, b, d →​ h;a, c, d, g →​ f; d, g →​ b; e, f →​ c;b, k →​ a;d, c →​ k;h, d, c →​ b;h, d →​ g;c, d, k →​ h. Определите длину кратчайшей цепочки технологических процессов, приводящей к получению a.
• # Пусть на множестве V= {a, b, c , d , e} задан двухместный предикат R = {(a,b),(b,c), (b,e), (c, a), (c,d), (d,a), (d,b), (e,d) }. Какие из следующих замкнутых формул будут истинны на системе G = <V; R>? ∃x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))∃ x ∀y (¬ (y = x) →​ ( R(x,y) ∨ ∃u(R(x,u) ∧ R(u,y))))∀x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
• # Укажите, какие из указанных ниже формул соответствуют следующему SQL-запросу к рассмотренной в данной главе базе данных с отношениями Сотрудники(Номер, ФИО, Отдел, Должность, Оклад), Комнаты (НомерСотрудника, Этаж, НомерКомнаты) и Оборудование(Этаж, НомерКомнаты, Название) (в формулах имена отношений сокращены до их первых букв)? Ответом на запрос является список комнат, в которых есть компьютеры и сидят сотрудники с окладом меньше 5500 или больше 7500. SELECT Этаж, НомерКомнаты FROM Сотрудники, Комнаты, Оборудование WHERE (Номер = НомерСотрудника) AND Комнаты.Этаж = Оборудование.Этаж AND Комнаты.НомерКомнаты = Оборудование.НомерКомнаты AND Название="компьютер" AND ((Оклад > 7500) OR (Оклад < 5500)) F1(e, k) = ∃n∃o∃d∃z∃c (( C(n, f, o, d, z) ∧ K(n, e, k) ∧ O(e, k, c)∧ (c="компьютер")) →​ ((z > 7500) ∨ (z &lt; 5500))) F2(e, k) = ∃n∃o∃d∃z ( C(n, f, o, d, z) ∧ K(n, e, k) ∧ O(e, k, "компьютер") ∧ ((z > 7500) ∨ (z &lt; 5500))) F3(e, k) = ∃n∃o∃d∃z ( C(n, f, o, d, z) ∧ K(n, e, k) ∧ O(e, k, c) ∧ ((z > 7500) ∨ (z &lt; 5500)) →​ (c="компьютер"))
• # Чему равно число связных компонент неориентированного графа G=(V,E), где V={1, 2, 3, 4, 5, 6, 7, 8, 9}, E={(1,4), (2,7), (3,9), (5,4), (1,5), (6,7)}?