Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
МАТЛОГИКА_индивидуалка_Топоркова.docx
Скачиваний:
1
Добавлен:
01.04.2025
Размер:
171.18 Кб
Скачать

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

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

  • удалить из отношений r1 и r2 (см. табл. 3) четыре пары (столбец, строка) и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r1 и r2); имена атрибутов не изменять,

Таблица Таблица 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

  • выполнить операции (r1r2), (r1r2), (r1\r2) согласно п.п. 1, 2, 3 задания (см. табл. 4); написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, нарисовать результирующие таблицы r’,

  • написать по п. 4 задания формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы для операций: , >< или >θ<, δ, π.

Таблица 4

Вариант

Удалить

(столбец, строка)

Выполнить заданные операции

1

для r1: (3, 1), (4, 2), (7, 8), (8, 6);

для r2: (3, 3), (4, 5), (7, 6), (8, 8)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A5,r2.A6)(((r1><r2, r1.A6r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A5,r2.A5,r2.A6)(((r1><r2, r1.A6r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A2,r1.A5,r2.A2)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A6, r2.A5)(((r1><r2, r1.A6r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2,A1,r2.A6)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A5,r1.A6,r2.A6)(((r1><r2, r1.A6r2.A6), r1.A51and r2.A51)).

10

для r1: (3, 1), (4, 2), (7, 6), (8, 8);

для r2: (3, 2), (4, 3), (7, 8), (8, 5)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A5,r1.A5)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A5,r1.A5,)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A6,r2.A1,r2.A6)(((r1><r2, r1.A6r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A2,r2.A2)(((r1><r2, r1.A2r2.A2), r1.A1a2 and r2.A53)) .

19

для r1: (3, 3), (4, 4), (7, 5), (8, 7);

для r2: (3, 1), (4, 4), (7, 6), (8, 7)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A6.r2.A6,r2.A5)(((r1><r2, r1.A6r2.A6), r1.A1a3 and r2.A52)).

20

для r1: (3, 3), (4, 5), (7, 4), (8, 7);

для r2: (3, 3), (4, 2), (7, 4), (8, 6)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A2,r2.A5)(((r1><r2, r1.A2=r2.A2), r1.A1a2 and r2.A51)).

21

для r1: (3, 3), (4, 6), (7, 4), (8, 8);

для r2: (3, 5), (4, 8), (7, 6), (8, 1)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1, r2.A5, r1.A5)(((r1><r2, r1.A5=r2.A5), r1.A1a2 and r2.A53)).

22

для r1: (3, 3), (4, 6), (7, 4), (8, 8);

для r2: (3, 6), (4, 4), (7, 1), (8, 2)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.A5), r1.A1a3 and r2.A52)).

23

для r1: (3, 1), (4, 2), (7, 4), (8, 8);

для r2: (3, 2), (4, 5), (7, 3), (8, 8)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A5,r2.A5)(((r1><r2, r1.A5r2.A6), r1.A1a2 and r2.A53)).

24

для r1: (3, 1), (4, 2), (7, 3), (8, 8);

для r2: (3, 3), (4, 8), (7, 4), (8, 5)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A6,r2.A6)(((r1><r2, r1.A6=r2.A6), r2.A1a2 and r2.A52)).

25

для r1: (3, 1), (4, 2), (7, 3), (8, 6);

для r2: (3, 3), (4, 4), (7, 1), (8, 7)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r1.A5,r2.A5)((((r1><r2, r2.A5r1.A5), r1.A1a3 and r2.A62)).

26

для r1: (3, 1), (4, 2), (7, 4), (8, 7);

для r2: (3, 2), (4, 5), (7, 6), (8, 7)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r2.A2, r1A5, r2.A6)(((r1><r2, r1.A5=r2.A6), r2.A2b3 and r2.A62)).

27

для r1: (3, 1), (4, 2), (7, 3), (8, 7);

для r2: (3, 3), (4, 4), (7, 2), (8, 5)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A5, r2.A5,r1.A6)(((r1><r2, r1.A5r2.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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) ( r1.A1,r1A6,r2.A6)(((r1><r2, r1.A6r2.A6), r1.A1a2 and r2.A64)).

29

для r1: (3, 1), (4, 2), (7, 3), (8, 7);

для r2: (3, 3), (4, 4), (7,1), (8, 6)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) ( r2.A2, r2.A5, r1.A6)(((r1><r2, r1.A5=r2.A6), r1.A2b3 and r2.A52)).

30

для r1: (3, 1), (4, 2), (7, 5), (8, 7);

для r2: (3, 5), (4, 4), (7, 2), (8, 6)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A6, r2A6, r1.A1)(((r1><r2, r1.A63 and r2.A63), r1.A1a4)).

31

для r1: (3, 1), (4, 2), (7, 5), (8, 6);

для r2: (3, 6), (4, 4), (7, 3), (8, 1)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A5,r2.A6,r1.A1)(((r1><r2, r1.A5r2.A6), r1.A1a2 and r2.A1a3)).

32

для r1: (3, 1), (4, 2), (7, 3), (8, 6);

для r2: (3, 3), (4, 5), (7, 8), (8, 6)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A1,r1.A6)(((r1><r2, r1.A6=r2.A6), r1.A1a3 and r2.A1a3)).

33

для r1: (3, 1), (4, 2), (7, 3), (8, 6);

для r2: (3, 3), (4, 4), (7, 1), (8, 7)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A6,r2.A6, r1.A2)(((r1><r2, r1.A63 and r2.A63), r1.A2b2)).

34

для r1: (3, 1), (4, 2), (7, 3), (8, 6);

для r2: (3, 3), (4, 4), (7, 7), (8,1)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A5,r2.A1)(((r1><r2, r1.A5=r2.A5), r1.A1a3 and r2.A1a3)).

35

для r1: (2, 1), (4, 2), (7, 3), (8, 6);

для r2: (2, 3), (4, 5), (7, 7), (8, 1)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A3,r2.A6)(((r1><r2, r1.A6=r2.A6), r1.A3c1 and r2.A3c1))..

36

для r1: (1, 1), (2, 2), (5, 7), (6, 8);

для r2: (1, 7), (2, 3), (5, 4), (6, 8)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A3,r1.A8)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A1,r2.A1,r1.A6)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A7,r1.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3, r1.A8, r2.A8) (((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A3,r1.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A7,r.1,A4, r2.A7) (((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r1.A7,r2.A7)(((r1><r2,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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3, r1.A7, r2.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A7,r1.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3, r1.A7, r2.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3,r2.A8,r1.A8)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A3, r2.A3, r2.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.A4,r2.A7,r1.A7)(((r1><r2, 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)

1) (r1r2), 2) (r1r2), 3) (r1\r2),

4) (r1.4, r2.A4, r2.A3)(((r1><r2, r1.A4r2.A4), r1.A3c1 and r2.A3c1))..