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

Ф1 = ∀n∃t∃d∃s (Счет (n,t,d,s) →​ ∃t1∃d1∃s1 (Счет (n,t1,d1,s1) →​ (t=t1 ∧ d=d1 ∧ s=s1)))

Ф2 = ∀n∀t∀d∀s∀n1∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ Счет (n1,t1,d1,s1) ∧ (t≠t1 ∨ d≠d1 ∨ s≠s1)) →​ (n ≠ n1))

Ф3 = ∀n∀t∀d∀s∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ (Счет (n,t1,d1,s1)) →​ (t=t1 ∧ d=d1 ∧ s=s1)))

Каковы будут структуры данных СЧЕТ и СПИСОК после этапа инициализации алгоритма БыстроеЗамыкание для следующей системы технологических процессов F:

a, c →​ d ;

a, b, d →​ c ;

c,b →​ a;

a,c →​ b;

a,d →​ c;

b,d →​ a.

A:                                  B:                                   C:   СЧЕТ = [2, 3, 2, 2, 2, 2]           СЧЕТ = [ 2, 3, 2, 2, 2, 2]           СЧЕТ = [2,3, 2, 2, 2, 2]СПИСОК[a] = (1,2, 4,5)              СПИСОК[a] = (1,2, 4,5)               СПИСОК[a] = (1,2,3, 4,5,6)СПИСОК[b] = (2, 3, 6)               CПИСОК[b] = (2, 3, 6)                СПИСОК[b] = (2, 3,4, 6) СПИСОК[c] = (1,3, 4)                СПИСОК[c] = (1,3,4)                  СПИСОК[c] = (1,2,3,4,5)СПИСОК[d] = (1, 2,5,6)              СПИСОК[d] = (2,5,6)                  СПИСОК[d] = (1,2,5,6)

Каковы будут структуры данных СЧЕТ и СПИСОК после этапа инициализации алгоритма БыстроеЗамыкание для следующей системы технологических процессов F:

a, c, d →​ b ;

a, b, d →​ c ;

c,b,d →​ a;

a,c →​ b;

a →​ c;

b,d →​ a.

A:                                          B:                                 C:   СЧЕТ = [3, 2, 2, 2, 3,1]                  СЧЕТ = [3, 2, 2, 2, 2,1]             СЧЕТ = [3, 2, 2, 2, 3,1]СПИСОК[a] = (1,2, 3, 4,5)                 СПИСОК[a] = (1,4,5)                  СПИСОК[a] = (1,4,5)СПИСОК[b] = (1, 2, 3, 4, 5,6)             CПИСОК[b] = (1, 2, 3, 5)             СПИСОК[b] = (1, 2, 3, 5,6) СПИСОК[c] = (1,3,5)                       СПИСОК[c] = (1,3)                    СПИСОК[c] = (1,3)СПИСОК[d] = (1,2,4,5)                     СПИСОК[d] = (2,4,5)                  СПИСОК[d] = (2,4,5)

Каковы будут структуры данных СЧЕТ и СПИСОК после этапа инициализации алгоритма БыстроеЗамыкание для следующей системы технологических процессов F:

a ,b, c →​ d ;

b, d →​ a ;

c,b →​ a;

a,d →​ b;

a,b,d →​ c;

b →​ a.

A:                                  B:                                    C:   СЧЕТ = [3, 3, 3, 2, 1, 2]           СЧЕТ = [ 2, 3, 3, 2, 1, 2]            СЧЕТ = [3, 2, 3, 2, 1, 2]СПИСОК[a] = (1,2, 4,5)              СПИСОК[a] = (1,2, 4,5)                СПИСОК[a] = (1, 2, 3, 4,5,6)СПИСОК[b] = (2, 3, 6)               CПИСОК[b] = (2, 3, 6)                 СПИСОК[b] = (1, 2, 3, 4, 6) СПИСОК[c] = (1,3, 4)                СПИСОК[c] = (1,3,4)                   СПИСОК[c] = (1,2,3,4,5)СПИСОК[d] = (1, 2, 3, 6)            СПИСОК[d] = (1,2,5,6)                 СПИСОК[d] = (1,2,3,6)

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

Ф1 = ∀e∀k∃n∃с (Оборудование(e,k,n,c) →​ ∃n1∃с1 (Оборудование(e,k,n1,c1) →​ (n=n1 ∧ c=c1)))

Ф2 = ∀e∀k∀n∀c∀n1∀c1 ((Оборудование(e,k,n,c) ∧ (Оборудование(e,k,n1,c1)) →​ (n=n1 ∧ c=c1)))

Ф3 = ∀e∀k∀n∀c∀e1∀k1∀n1∀c1 ((Оборудование(e,k,n,c) ∧ (Оборудование(e1,k1,n1,c1) ∧ (n≠n1 ∨ c≠c1)) →​ (e ≠ e1 ∨ k≠k1))

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

Ф1 = ∀f∀o∀d∀z(Сотрудники(f,o,d,z) →​∃e∃k Комнаты(f ,e, k))

Ф2 = ∀f∀o∀d∀z(Сотрудники(f,o,d,z) ∧ ∃e∃k Комнаты(f ,e, k))

Ф3 = ∀f (∃o∃d∃zСотрудники(f,o,d,z) →​ ∃e∃k Комнаты(f ,e, k))

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

Ф1 = ∀a∀k∀p∀y∀a1∀k1∀p1∀y1 ((Книга (a,k,p,y) ∧ (Книга (a1,k1,p1,y1) ∧ (p≠p1 ∨ y≠y1)) →​ (a ≠ a1 ∨ k≠k1))

Ф2 = ∀a∀k∃p∃y (Книга (a,k,p,y) →​ ∃p1∃y1 (Книга (a,k,p1,y1) →​ (p=p1 ∧ y=y1)))

Ф3 = ∀a∀k∀p∀y∀p1∀y1 ((Книга (a,k,p,y) ∧ (Книга (a,k,p1,y1)) →​ (p=p1 ∧ y=y1)))

Пусть база данных включает три отношения, рассмотренных в лекции: Сотрудники(Номер, ФИО, Отдел, Должность, Оклад), Комнаты (Номер- Сотрудника, Этаж, НомерКомнаты) и Оборудование(Этаж, НомерКомнаты, Название). Какое из следующих выражений реляционной алгебры Ei (i=1,2,3) и какая из формул логики предикатов Fj (j=1,2) задает список сотрудников, во всех комнатах которых нет никаких аппаратов (в выражениях и формулах имена отношений сокращены до их первых букв).

E1 = π_ФИО(С) - π_ФИО(С >< _{Номер= НомерСотрудника} (К >< О))

E2 = π_ФИО(С >< _{Номер= НомерСотрудника} (К >< (π_{НомерКомнаты} (К) - π_{НомерКомнаты} (О)))

E3 = π_ФИО(С) - π_ФИО(С >< _{Номер= НомерСотрудника} К) >< π_{Этаж, НомерКомнаты} (О)

F1(f)= ∃n∃o∃d ∃z ∃e∃k (C(n, f, o, d, z) ∧ K(n, e, k) ∧ ∀c ¬ O(e, k, c))

F2(f)= ∃n∃o∃d ∃z( C(n, f, o, d, z) ∧ ∀e ∀k∀c ( K(n, e, k) →​ ¬ O(e, k, c)))

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

Ф1 = ∀x∀k∀e(Комнаты(x,e, k) →​ ∃n∃s( Оборудование(e,k,n,s) ∧ (s > 10000 )))

Ф2 = ∀x∃k∃e(Комнаты(x,e, k) ∧ ∃n∃s (Оборудование(e,k,n,s) →​ (s > 10000 ))

Ф3 = ∀x ∃n∃s ∀k∀e (Комнаты(x,e, k) ∧ Оборудование(e,k,n,s) ∧ (s > 10000 ))

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

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

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

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

Пусть база данных включает три отношения, рассмотренных в лекции: Сотрудники(Номер, ФИО, Отдел, Должность, Оклад), Комнаты (Номер- Сотрудника, Этаж, НомерКомнаты) и Оборудование(Этаж, НомерКомнаты, Название). Какое из следующих выражений реляционной алгебры Ei (i=1,2,3) и какая из формул логики предикатов Fj (j=1,2) задает список отделов, некоторые сотрудники которых имеют в своих комнатах доступ к компьютерам (в выражениях и формулах имена отношений сокращены до их первых букв)?

E1= π _Отдел (С >< _{Номер= НомерСотрудника} (σ_{Название='компьютер'} (К × О)))

E2 = π_Отдел(С >< _{Номер= НомерСотрудника} (К >< σ _{Название='компьютер'}( О))

E3 = π_Отдел (С × (К >< σ _{Название='компьютер'}( О)))

F1(o)= ∃n ∃f ∃d ∃z ∃e∃k (C(n, f, o, d, z) ∧ K(n, e, k) ∧ O(e, k, 'компьютер'))

F2(o)= ∃n ∃f ∃d ∃z( C(n, f, o, d, z) ∧ ∃e∃k ( K(n, e, k) →​ O(e, k, 'компьютер')))