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

r₁

A₁

A₂

A₃

A₄

A₅

A₆

A₇

A₈

r₂

A₁

A₂

A₃

A₄

A₅

A₆

A₇

A₈

a₁

b₂

c₃

d₄

1

2

3

4

a₁

b₂

c₃

d₄

1

2

3

4

a₂

b₃

c₄

d₁

2

3

4

1

a₂

b₃

c₄

d₁

2

3

4

1

a₃

b₄

c₁

d₂

3

4

1

2

a₃

b₄

c₁

d₂

3

4

1

2

a₄

b₁

c₂

d₃

4

1

2

3

a₄

b₁

c₂

d₃

4

1

2

3

a₁

b₁

c₁

d₁

4

3

2

1

a₁

b₁

c₁

d₁

4

3

2

1

a₂

b₂

c₂

d₂

3

2

1

4

a₂

b₂

c₂

d₂

3

2

1

4

a₃

b₃

c₃

d₄

2

1

4

3

a₃

b₃

c₃

d₄

2

1

4

3

a₄

b₄

c₄

d₄

1

4

3

2

a₄

b₄

c₄

d₄

1

4

3

2

1

r₁:(3,1),(4,2),(7,8),(8,6)

r₂:(3,3),(4,5),(7,6),(8,8)

_{(r1.A1,r2.A5,r2.A6)}(((r₁>^<r₂, r₁.A₆r₂.A₆), r₂.A₅1 and r₂.A₆1))

2

r₁:(3,5),(4,2),(7,6),(8,8)

r₂:(3,2),(4,5),(7,3),(8,4)

_{(r1.A5, r2.A2, r2.A5}(((r₁><r₂, r₁.A₂=r₂.A₂), r₁.A₅2 and r₂.A₅4))

3

r₁:(3,4),(4,2),(7,6),(8,8)

r₂:(3,2),(4,4),(7,1),(8,5)

_{(r1.A5,r2.A5,r2.A6)}(((r₁>^<r₂, r₁.A₆r₂.A₅), r₁.A₅2 and r₂.A₅2))

4

r₁:(3,1),(4,3),(7,6),(8,8)

r₂:(3,3),(4,1),(7,4),(8,5)

_{(r1.A2,r1.A5,r2.A2)}(((r₁>^<r₂, r₁.A₅r₂.A₅), r₁.A₂=b₁ and r₁.A₂=b₂))

5

r₁:(3,1),(4,2),(7,7),(8,8)

r₂:(3,3),(4,1),(7,6),(8,7)

_{(r1.A1,r1.A6, r2.A5)}(((r₁>^<r₂, r₁.A₆r₂.A₅), r₁.A₁=a₃ and r₁.A₁=a₄))

6

r₁:(3,5),(4,2),(7,6),(8,8)

r₂:(3,1),(4,4),(7,6),(8,8)

_{(r1.A6, r1.A2, r2.A5)}(((r₁><r₂, r₁.A₂=r₂.A₂), r₂.A₆2 and r₂.A₅2))

7

r₁:(3,5),(4,2),(7,6),(8,8)

r₂:(3,1),(4,5),(7,6),(8,3)

_{(r1.A1, r1, A2,r2.A1)}(((r₁><r₂, r₁.A₁=r₂.A₁), r₁.A₁=a₃ and r₁.A₁=a₄))

8

r₁:(3,1),(4,2),(7,6),(8,8)

r₂:(3,2),(4,3),(7,5),(8,8)

_{(r1.A1,r2,A1,r2.A6)}(((r₁>^<r₂, r₁.A₅r₂.A₆), r₁.A₁=a₃ and r₂.A₁=a₄))

9

r₁:(3,1),(4,2),(7,5),(8,8)

r₂:(3,4),(4,1),(7,5),(8,6)

_{(r1.A5,r1.A6,r2.A6)}(((r₁>^<r₂, r₁.A₆r₂.A₆), r₁.A₅1 and r₂.A₅1))

10

r₁:(3,1),(4,2),(7,6),(8,8)

r₂:(3,2),(4,3),(7,8),(8,5)

_{(r1.A1,r1.A5,r2.A5)}(((r₁>^<r₂, r₁.A₅ r₂.A₅), r₁.A₁=a₃ and r₂.A₆2))

11

r₁:(3,1),(4,3),(7,5),(8,8)

r₂:(3,3),(4,6),(7,4),(8,8)

_{(r1.A5,r2.A5,r2.A6)}(((r₁><r₂, r₁.A₆=r₂.A₆), r₁.A₅2 and r₂.A₅4))

12

r₁:(3,1),(4,2),(7,5),(8,7)

r₂:(3,2),(4,4),(7,3),(8,7)

_{(r1.A1,r2.A5,r1.A5)}(((r₁>^<r₂, r₁.A₅r₂.A₅), r₁.A₁=a₃ and r₂.A₅2))

13

r₁:(3,1),(4,2),(7,5),(8,6)

r₂:(3,6),(4,2),(7,3),(8,4)

_{(r1.A1,r2.A5,r1.A5,)}(((r₁>^<r₂, r₁.A₅r₂.A₆), r₁.A₁=a₃ and r₂.A₅2))

14

r₁:(3,1),(4,2),(7,5),(8,8)

r₂:(3,8),(4,4),(7,1),(8,3)

_{(r1.A1,r1.A5,r2.A5)}(((r₁>^<r₂, r₁.A₅r₂.A₅), r₁.A₅2 and r₂.A₆2))

15

r₁:(3,1),(4,2),(7,5),(8,8)

r₂:(3,2),(4,7),(7,1),(8,3)

_{(r1.A1,r2.A1,r2.A6)}(((r₁>^<r₂, r₁.A₅=r₂.A₆), r₁.A₁=a₃ and r₂.A₁=a₄))

16

r₁:(3,1),(4,2),(7,4),(8,8)

r₂:(3,8),(4,5),(7,2),(8,6)

_{(r1.A6,r2.A1,r2.A6)}(((r₁>^<r₂, r₁.A₆r₂.A₆), r₂.A₁=a₂ and r₁.A₅2))

17

r₁:(3,1),(4,2),(7,4),(8,8)

r₂:(3,8),(4,3),(7,2),(8,6)

_{(r1.A5,r2.A5,r2.A1)}(((r₁>^<r₂, r₂.A₅3), r₁.A₅=1 and r₂.A₅2))

18

r₁:(3,1),(4,2),(7,4),(8,8)

r₂:(3,4),(4,8),(7,3),(8,5)

_{(r1.A1,r1.A2,r2.A2)}(((r₁>^<r₂, r₁.A₂r₂.A₂), r₁.A₁a₂ and r₂.A₅3))

19

r₁:(3,3),(4,4),(7,5),(8,7)

r₂:(3,1),(4,4),(7,6),(8,7)

_{(r1.A6.r2.A6,r2.A5)}(((r₁>^<r₂, r₁.A₆ r₂.A₆), r₁.A₁a₃ and r₂.A₅2))

20

r₁:(3,3),(4,5),(7,4),(8,7)

r₂:(3,3),(4,2),(7,4),(8,6)

_{(r1.A1,r2.A2,r2.A5)}(((r₁><r₂, r₁.A₂=r₂.A₂), r₁.A₁a₂ and r₂.A₅1))

21

r₁:(3,3),(4,6),(7,4),(8,8)

r₂:(3,5),(4,8),(7,6),(8,1)

_{(r1.A1, r2.A5, r1.A5)}(((r₁><r₂, r₁.A₅=r₂.A₅), r₁.A₁a₂ and r₂.A₅3))

22

r₁:(3,3),(4,6),(7,4),(8,8)

r₂:(3,6),(4,4),(7,1),(8,2)

_{(r1.A1,r1.A5,r2.A5)}(((r₁>^<r₂, r₁.A₅r₂.A₅), r₁.A₁a₃ and r₂.A₅2))

23

r₁:(3,1),(4,2),(7,4),(8,8)

r₂:(3,2),(4,5),(7,3),(8,8)

_{(r1.A1,r1.A5,r2.A5)}(((r₁>^<r₂, r₁.A₅r₂.A₆), r₁.A₁a₂ and r₂.A₅3))

24

r₁:(3,1),(4,2),(7,3),(8,8)

r₂:(3,3),(4,8),(7,4),(8,5)

_{(r1.A1,r1.A6,r2.A6)}(((r₁><r₂, r₁.A₆=r₂.A₆), r₂.A₁a₂ and r₂.A₅2))

25

r₁:(3,1),(4,2),(7,3),(8,6)

r₂:(3,3),(4,4),(7,1),(8,7)

_{(r1.A1,r1.A5,r2.A5)}((((r₁>^<r₂, r₂.A₅r₁.A₅), r₁.A₁a₃ and r₂.A₆2))

26

r₁:(3,1),(4,2),(7,4),(8,7)

r₂:(3,2),(4,5),(7,6),(8,7)

_{(r2.A2, r1A5, r2.A6)}(((r₁>^<r₂, r₁.A₅=r₂.A₆), r₂.A₂b₃ and r₂.A₆2))

27

r₁:(3,1),(4,2),(7,3),(8,7)

r₂:(3,3),(4,4),(7,2),(8,5)

_{(r1.A5, r2.A5,r1.A6)}(((r₁>^<r₂, r₁.A₅r₂.A₅), r₁.A₆2 and r₂.A₆4))

28

r₁:(3,1),(4,2),(7,3),(8,7)

r₂:(3,3),(4,4),(7,6),(8,7)

_{( r1.A1,r1A6,r2.A6)}(((r₁>^<r₂, r₁.A₆r₂.A₆), r₁.A₁a₂ and r₂.A₆4))

29

r₁:(3,1),(4,2),(7,3),(8,7)

r₂:(3,3),(4,4),(7,1),(8,6)

_{( r2.A2, r2.A5, r1.A6)}(((r₁>^<r₂, r₁.A₅=r₂.A₆), r₁.A₂b₃ and r₂.A₅2))

30

r₁:(3,1),(4,2),(7,5),(8,7)

r₂:(3,5),(4,4),(7,2),(8,6)

_{(r1.A6, r2A6, r1.A1)}(((r₁>^<r₂, r₁.A₆3 and r₂.A₆3), r₁.A₁a₄))

31

r₁:(3,1),(4,2),(7,5),(8,6)

r₂:(3,6),(4,4),(7,3),(8,1)

_{(r1.A5,r2.A6,r1.A1)}(((r₁>^<r₂, r₁.A₅r₂.A₆), r₁.A₁a₂ and r₂.A₁a₃))

32

r₁:(3,1),(4,2),(7,3),(8,6)

r₂:(3,3),(4,5),(7,8),(8,6)

_{(r1.A1,r2.A1,r1.A6)}(((r₁><r₂, r₁.A₆=r₂.A₆), r₁.A₁a₃ and r₂.A₁a₃))

33

r₁:(3,1),(4,2),(7,3),(8,6)

r₂:(3,3),(4,4),(7,1),(8,7)

_{(r1.A6,r2.A6, r1.A2)}(((r₁>^<r₂, r₁.A₆3 and r₂.A₆3), r₁.A₂b₂))

34

r₁:(3,1),(4,2),(7,3),(8,6)

r₂:(3,3),(4,4),(7,7),(8,1)

_{(r1.A1,r2.A5,r2.A1)}(((r₁><r₂, r₁.A₅=r₂.A₅), r₁.A₁a₃ and r₂.A₁a₃))

35

r₁:(2,1),(4,2),(7,3),(8,6)

r₂:(2,3),(4,5),(7,7),(8,1)

_{(r1.A3,r2.A3,r2.A6)}(((r₁><r₂, r₁.A₆=r₂.A₆), r₁.A₃c₁ and r₂.A₃c₁))

36

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,7),(2,3),(5,4),(6,8)

_{(r1.A7,r2.A8, r2.A4)}(((r₁>^<r₂, r₁.A₇r₂.A₈), r₁.A₄d₁ and r₂.A₄c₁))

37

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,7),(2,3),(5,6),(6,7)

_{(r1.A3,r2.A3,r1.A8)}(((r₁><r₂, r₁.A₃=r₂.A₃), r₁.A₃c₁ and r₂. A₃c₁))

38

r₁:(3,1),(4,2),(7,3),(8,6)

r₂:(3,3),(4,4),(7,5),(8,6)

_{(r1.A1,r2.A1,r1.A6)}(((r₁><r₂, r₁.A₆=r₂.A₆), r₁.A₁a₃ and r₂.A₁a₃))

39

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,8),(2,3),(5,4),(6,2)

_{(r1.A3,r2.A7,r1.A7)}(((r₁>^<r₂, r₁.A₇r₂.A₇), r₁.A₃c₂ and r₂.A₇2))

40

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,7),(2,2),(5,4),(6,5)

_{(r1.A3, r1.A8, r2.A8)} (((r₁>^<r₂, r₁.A₈r₂.A₈), r₁.A₃c₁ and r₂.A₈2))

41

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,8),(2,3),(5,6),(6,1)

_{(r1.A3,r2.A3,r1.A7)}(((r₁>^<r₂, A₇=r₁.A₈), r₁.A₃c₂ and r₂.A₃c₃))

42

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,8),(2,4),(5,6),(6,2)

_{(r1.A7,r.1,A4, r2.A7)} (((r₁>^<r₂, r₁.A₄=r₂.A₄), r₁.A₇2 and r₂.A₇4))

43

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,1),(2,3),(5,4),(6,2)

_{(r1.A3,r1.A7,r2.A7)}(((r₁>^<r₂,r₁.A₇r₂.A₇), r₁.A₃=c₂ and r₂.A₈4))

44

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,8),(2,3),(5,6),(6,1)

_{(r1.A3, r1.A7, r2.A7)}(((r₁>^<r₂, r₁.A₇r₂.A₇), r₁.A₃=c₃ and r₂.A₈2))

45

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,7),(2,4),(5,6),(6,8)

_{(r1.A3,r2.A7,r1.A7)}(((r₁>^<r₂, r₁.A₇2 and r₂.A₇4),r₁.A₃c₁))

46

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,7),(2,5),(5,3),(6,2)

_{(r1.A3, r1.A7, r2.A7)}(((r₁>^<r₂, r₁.A₇r₂.A₇), r₁.A₃c₂ and r₂.A₃c₃))

47

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,2),(2,3),(5,4),(6,7)

_{(r1.A3,r2.A8,r1.A8)}(((r₁>^<r₂, r₁.A₈r₂.A₈), r₁.A₃=c₂ and r₂.A₃c₃))

48

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,2),(2,3),(5,5),(6,8)

_{(r1.A3, r2.A3, r2.A7)}(((r₁>^<r₂, r₁.A₇r₂.A₇), r₂.A₇4 and r₁.A₃c₁))

49

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,2),(2,6),(5,4),(6,8)

_{(r1.A4,r2.A7,r1.A7)}(((r₁>^<r₂, r₁.A₇r₂.A₇), r₁.A₄=d₁ and r₂.A₄d₄))

50

r₁:(1,1),(2,2),(5,7),(6,8)

r₂:(1,2),(2,4),(5,6),(6,7)

_{(r1.4, r2.A4, r2.A3)}(((r₁>^<r₂, r₁.A₄r₂.A₄), r₁.A₃c₁ and r₂.A₃c₁))