В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети.

Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6:

ID персоны	Фам	Имя	Отч	пол	Год рожд.
1	Соколов	Петр	Николаевич	муж	1960
2	Соколова	Анна	Петровна	жен	1961
3	Соколов	Николай	Петрович	муж	1982
4	Соколов	Антон	Петрович	муж	1988
5	Соколова	Елена	Петровна	жен	1984
6	Чижиков	Сергей	Юрьевич	муж	1959
7	Самохина	Татьяна	Александровна	жен	1960
8	Чижикова	Любовь	Сергеевна	жен	1981
9	Чижикова	Нина	Сергеевна	жен	1985
10	Чижиков	Василий	Сергеевич	муж	1983
11	Чижиков	Николай	Васильевич	муж	2003
12	Чижиков	Владимир	Васильевич	муж	2005
13	Некто	Олег	Олегович	муж	1999

Таблица "Родители" имеет 3 столбца – задает отношение арности 3:

ID семьи	ID мужа	ID жены
11	1	2
12	6	7
13	10	5

Таблица "Дети" имеет 2 столбца – задает отношение арности 2:

ID семьи	ID ребенка
1	3
1	4
1	5
2	8
2	9
2	10
3	11
3	12

Кто является ребенком Соколова Петра Николаевича?

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

• # Укажите, какое из следующих отношений задают функцию?
• # Укажите, какой функции принадлежит отношение {<3, 40>, <4, 76>,<2, 38>,<1, 14>}:
• # Полная индукция
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 & (X2 | X3);
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 & (X2 & X3).