Материалы для самостоятельной работы по дисциплине математическая логика и теория алгоритмов

• Название: Материалы для самостоятельной работы по дисциплине математическая логика и теория алгоритмов
• Дата: 18.10.2021
• Размер: 171.43 Kb.
• Имя файла: ml_ind.docx
• Тип: Документы; #249848
• страница: 3 из 6

Задание 3. Реляционная логика

Согласно варианту (см. табл. 4):

• 
  удалить из отношений r₁ и r₂ (см. табл. 3) четыре пары (столбец, строка) и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r₁ и r₂); имена атрибутов при этом не изменять,
  
• 
  выполнить операции (r₁r₂), (r₁r₂), (r₁\r₂), (r₁r₂): написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы,
  
• 
  выполнить операции, представленные в графе 3 табл. 4:написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы для операций >< или >^θ< (в зависимости от варианта), δ, π.
  
• 
  
  

Таблица3а Таблица 3b

r1	A1	A2	A3	A4	A5	A6	A7	A8		r2	A1	A2	A3	A4	A5	A6	A7	A8
	a1	b2	c3	d4	1	2	3	4			a1	b2	c3	d4	1	2	3	4
	a2	b3	c4	d1	2	3	4	1			a2	b3	c4	d1	2	3	4	1
	a3	b4	c1	d2	3	4	1	2			a3	b4	c1	d2	3	4	1	2
	a4	b1	c2	d3	4	1	2	3			a4	b1	c2	d3	4	1	2	3
	a1	b1	c1	d1	4	3	2	1			a1	b1	c1	d1	4	3	2	1
	a2	b2	c2	d2	3	2	1	4			a2	b2	c2	d2	3	2	1	4
	a3	b3	c3	d4	2	1	4	3			a3	b3	c3	d4	2	1	4	3
	a4	b4	c4	d4	1	4	3	2			a4	b4	c4	d4	1	4	3	2

Таблица 4

Ва-ри- ант	Удалить (столбец,строка)	Выполнить заданные операции
1	2	3
1	r1:(3,1),(4,2),(7,8),(8,6) r2:(3,3),(4,5),(7,6),(8,8)	(r1.A1,r2.A5,r2.A6)(((r1><r2, r1.A6r2.A6), r2.A51 and r2.A61))
2	r1:(3,5),(4,2),(7,6),(8,8) r2:(3,2),(4,5),(7,3),(8,4)	(r1.A5, r2.A2, r2.A5(((r1><r2, r1.A2=r2.A2), r1.A52 and r2.A54))
3	r1:(3,4),(4,2),(7,6),(8,8) r2:(3,2),(4,4),(7,1),(8,5)	(r1.A5,r2.A5,r2.A6)(((r1><r2, r1.A6r2.A5), r1.A52 and r2.A52))
4	r1:(3,1),(4,3),(7,6),(8,8) r2:(3,3),(4,1),(7,4),(8,5)	(r1.A2,r1.A5,r2.A2)(((r1><r2, r1.A5r2.A5), r1.A2=b1 and r1.A2=b2))
5	r1:(3,1),(4,2),(7,7),(8,8) r2:(3,3),(4,1),(7,6),(8,7)	(r1.A1,r1.A6, r2.A5)(((r1><r2, r1.A6r2.A5), r1.A1=a3 and r1.A1=a4))
6	r1:(3,5),(4,2),(7,6),(8,8) r2:(3,1),(4,4),(7,6),(8,8)	(r1.A6, r1.A2, r2.A5)(((r1><r2, r1.A2=r2.A2), r2.A62 and r2.A52))
7	r1:(3,5),(4,2),(7,6),(8,8) r2:(3,1),(4,5),(7,6),(8,3)	(r1.A1, r1, A2,r2.A1)(((r1><r2, r1.A1=r2.A1), r1.A1=a3 and r1.A1=a4))
8	r1:(3,1),(4,2),(7,6),(8,8) r2:(3,2),(4,3),(7,5),(8,8)	(r1.A1,r2,A1,r2.A6)(((r1><r2, r1.A5r2.A6), r1.A1=a3 and r2.A1=a4))
9	r1:(3,1),(4,2),(7,5),(8,8) r2:(3,4),(4,1),(7,5),(8,6)	(r1.A5,r1.A6,r2.A6)(((r1><r2, r1.A6r2.A6), r1.A51 and r2.A51))
10	r1:(3,1),(4,2),(7,6),(8,8) r2:(3,2),(4,3),(7,8),(8,5)	(r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5 r2.A5), r1.A1=a3 and r2.A62))
11	r1:(3,1),(4,3),(7,5),(8,8) r2:(3,3),(4,6),(7,4),(8,8)	(r1.A5,r2.A5,r2.A6)(((r1><r2, r1.A6=r2.A6), r1.A52 and r2.A54))
12	r1:(3,1),(4,2),(7,5),(8,7) r2:(3,2),(4,4),(7,3),(8,7)	(r1.A1,r2.A5,r1.A5)(((r1><r2, r1.A5r2.A5), r1.A1=a3 and r2.A52))
13	r1:(3,1),(4,2),(7,5),(8,6) r2:(3,6),(4,2),(7,3),(8,4)	(r1.A1,r2.A5,r1.A5,)(((r1><r2, r1.A5r2.A6), r1.A1=a3 and r2.A52))
14	r1:(3,1),(4,2),(7,5),(8,8) r2:(3,8),(4,4),(7,1),(8,3)	(r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.A5), r1.A52 and r2.A62))
15	r1:(3,1),(4,2),(7,5),(8,8) r2:(3,2),(4,7),(7,1),(8,3)	(r1.A1,r2.A1,r2.A6)(((r1><r2, r1.A5=r2.A6), r1.A1=a3 and r2.A1=a4))
16	r1:(3,1),(4,2),(7,4),(8,8) r2:(3,8),(4,5),(7,2),(8,6)	(r1.A6,r2.A1,r2.A6)(((r1><r2, r1.A6r2.A6), r2.A1=a2 and r1.A52))
17	r1:(3,1),(4,2),(7,4),(8,8) r2:(3,8),(4,3),(7,2),(8,6)	(r1.A5,r2.A5,r2.A1)(((r1><r2, r2.A53), r1.A5=1 and r2.A52))
18	r1:(3,1),(4,2),(7,4),(8,8) r2:(3,4),(4,8),(7,3),(8,5)	(r1.A1,r1.A2,r2.A2)(((r1><r2, r1.A2r2.A2), r1.A1a2 and r2.A53))
19	r1:(3,3),(4,4),(7,5),(8,7) r2:(3,1),(4,4),(7,6),(8,7)	(r1.A6.r2.A6,r2.A5)(((r1><r2, r1.A6 r2.A6), r1.A1a3 and r2.A52))
20	r1:(3,3),(4,5),(7,4),(8,7) r2:(3,3),(4,2),(7,4),(8,6)	(r1.A1,r2.A2,r2.A5)(((r1><r2, r1.A2=r2.A2), r1.A1a2 and r2.A51))
21	r1:(3,3),(4,6),(7,4),(8,8) r2:(3,5),(4,8),(7,6),(8,1)	(r1.A1, r2.A5, r1.A5)(((r1><r2, r1.A5=r2.A5), r1.A1a2 and r2.A53))
22	r1:(3,3),(4,6),(7,4),(8,8) r2:(3,6),(4,4),(7,1),(8,2)	(r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.A5), r1.A1a3 and r2.A52))
23	r1:(3,1),(4,2),(7,4),(8,8) r2:(3,2),(4,5),(7,3),(8,8)	(r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.A6), r1.A1a2 and r2.A53))
24	r1:(3,1),(4,2),(7,3),(8,8) r2:(3,3),(4,8),(7,4),(8,5)	(r1.A1,r1.A6,r2.A6)(((r1><r2, r1.A6=r2.A6), r2.A1a2 and r2.A52))
25	r1:(3,1),(4,2),(7,3),(8,6) r2:(3,3),(4,4),(7,1),(8,7)	(r1.A1,r1.A5,r2.A5)((((r1><r2, r2.A5r1.A5), r1.A1a3 and r2.A62))
26	r1:(3,1),(4,2),(7,4),(8,7) r2:(3,2),(4,5),(7,6),(8,7)	(r2.A2, r1A5, r2.A6)(((r1><r2, r1.A5=r2.A6), r2.A2b3 and r2.A62))
27	r1:(3,1),(4,2),(7,3),(8,7) r2:(3,3),(4,4),(7,2),(8,5)	(r1.A5, r2.A5,r1.A6)(((r1><r2, r1.A5r2.A5), r1.A62 and r2.A64))
28	r1:(3,1),(4,2),(7,3),(8,7) r2:(3,3),(4,4),(7,6),(8,7)	( r1.A1,r1A6,r2.A6)(((r1><r2, r1.A6r2.A6), r1.A1a2 and r2.A64))
29	r1:(3,1),(4,2),(7,3),(8,7) r2:(3,3),(4,4),(7,1),(8,6)	( r2.A2, r2.A5, r1.A6)(((r1><r2, r1.A5=r2.A6), r1.A2b3 and r2.A52))
30	r1:(3,1),(4,2),(7,5),(8,7) r2:(3,5),(4,4),(7,2),(8,6)	(r1.A6, r2A6, r1.A1)(((r1><r2, r1.A63 and r2.A63), r1.A1a4))
31	r1:(3,1),(4,2),(7,5),(8,6) r2:(3,6),(4,4),(7,3),(8,1)	(r1.A5,r2.A6,r1.A1)(((r1><r2, r1.A5r2.A6), r1.A1a2 and r2.A1a3))
32	r1:(3,1),(4,2),(7,3),(8,6) r2:(3,3),(4,5),(7,8),(8,6)	(r1.A1,r2.A1,r1.A6)(((r1><r2, r1.A6=r2.A6), r1.A1a3 and r2.A1a3))
33	r1:(3,1),(4,2),(7,3),(8,6) r2:(3,3),(4,4),(7,1),(8,7)	(r1.A6,r2.A6, r1.A2)(((r1><r2, r1.A63 and r2.A63), r1.A2b2))
34	r1:(3,1),(4,2),(7,3),(8,6) r2:(3,3),(4,4),(7,7),(8,1)	(r1.A1,r2.A5,r2.A1)(((r1><r2, r1.A5=r2.A5), r1.A1a3 and r2.A1a3))
35	r1:(2,1),(4,2),(7,3),(8,6) r2:(2,3),(4,5),(7,7),(8,1)	(r1.A3,r2.A3,r2.A6)(((r1><r2, r1.A6=r2.A6), r1.A3c1 and r2.A3c1))
36	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,7),(2,3),(5,4),(6,8)	(r1.A7,r2.A8, r2.A4)(((r1><r2, r1.A7r2.A8), r1.A4d1 and r2.A4c1))
37	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,7),(2,3),(5,6),(6,7)	(r1.A3,r2.A3,r1.A8)(((r1>2, r1.A3=r2.A3), r1.A3c1 and r2. A3c1))
38	r1:(3,1),(4,2),(7,3),(8,6) r2:(3,3),(4,4),(7,5),(8,6)	(r1.A1,r2.A1,r1.A6)(((r1>2, r1.A6=r2.A6), r1.A1a3 and r2.A1a3))
39	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,8),(2,3),(5,4),(6,2)	(r1.A3,r2.A7,r1.A7)(((r1>2, r1.A7r2.A7), r1.A3c2 and r2.A72))
40	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,7),(2,2),(5,4),(6,5)	(r1.A3, r1.A8, r2.A8) (((r1>2, r1.A8r2.A8), r1.A3c1 and r2.A82))
41	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,8),(2,3),(5,6),(6,1)	(r1.A3,r2.A3,r1.A7)(((r1>2, A7=r1.A8), r1.A3c2 and r2.A3c3))
42	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,8),(2,4),(5,6),(6,2)	(r1.A7,r.1,A4, r2.A7) (((r1>2, r1.A4=r2.A4), r1.A72 and r2.A74))
43	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,1),(2,3),(5,4),(6,2)	(r1.A3,r1.A7,r2.A7)(((r1>2,r1.A7r2.A7), r1.A3=c2 and r2.A84))
44	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,8),(2,3),(5,6),(6,1)	(r1.A3, r1.A7, r2.A7)(((r1>2, r1.A7r2.A7), r1.A3=c3 and r2.A82))
45	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,7),(2,4),(5,6),(6,8)	(r1.A3,r2.A7,r1.A7)(((r1>2, r1.A72 and r2.A74),r1.A3c1))
46	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,7),(2,5),(5,3),(6,2)	(r1.A3, r1.A7, r2.A7)(((r1>2, r1.A7r2.A7), r1.A3c2 and r2.A3c3))
47	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,2),(2,3),(5,4),(6,7)	(r1.A3,r2.A8,r1.A8)(((r1>2, r1.A8r2.A8), r1.A3=c2 and r2.A3c3))
48	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,2),(2,3),(5,5),(6,8)	(r1.A3, r2.A3, r2.A7)(((r1>2, r1.A7r2.A7), r2.A74 and r1.A3c1))
49	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,2),(2,6),(5,4),(6,8)	(r1.A4,r2.A7,r1.A7)(((r1>2, r1.A7r2.A7), r1.A4=d1 and r2.A4d4))
50	r1:(1,1),(2,2),(5,7),(6,8) r2:(1,2),(2,4),(5,6),(6,7)	(r1.4, r2.A4, r2.A3)(((r1>2, r1.A4r2.A4), r1.A3c1 and r2.A3c1))