Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
дискретка / diskr / Часть 2. Логика реляционная. Логика нечетк _ая / Часть 2. Логика реляционная. Логика нечеткая.doc
Скачиваний:
110
Добавлен:
26.05.2014
Размер:
1.56 Mб
Скачать

Продолжение

1

2

3

30

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(A6)4), d(r1.A1)=a4);

r1.A6=r2.A6=A6

31

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4)(r1.A1,r2.A4,r2.A5,r1.A6)(r1><r2,d(A5)=4);

r1.A5=r2.A5=A5

32

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, r1.A6=r2.A6), d(r1.A1)=a3)

33

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A2, r1.A3, r2.A4) (r1><r2, d(A6)3);

r1.A6=r2.A6=A6

34

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, (r1.A5=r2.A5)), d(r1.A1)=a3)

35

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4)(r1.A1,r2.A4,r2.A5,r2.A6)(r1><r2,d(A3)=c6,);

r1.A3=r2.A3=A3

Продолжение

1

2

3

36

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

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

  1. (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A3, r2.A7, r2.A8)(r1><r2, d(r1.A8)d(r2.A8)

37

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(A3)=c2);

r1.A3=r2.A3=A3

38

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

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

  1. (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A3, r2.A4, r2.A8)(r1><r2, d(r1.A7)d(r2.A8))

39

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(A7)3), d(r1.A3)=c1);

r1.A7=r2.A7=A7

40

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A3, r1.A4, r2.A8)(r1><r2, d(r1.A8)d(r2.A8))

41

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

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

  1. (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(A3)=c1), d(r1.A4)=d1);

r1.A3=r2.A3=A3

Продолжение

1

2

3

42

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A3, A4, A7, r2.A8)(r1><r2, d(A4)=d2);

r1.A4=r2.A4=A4

43

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(r1.A7)d(r2.A7)), d(r1.A3)=c2)

44

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4)(r1.A1,r1.A2,r2.A5,A6)(r1><r2, d(r1.A7)d(r2.A7)))

.

45

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, (d(A7)2)), d(r1.A3)=c1);

r1.A7=r2.A7=A7

46

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A2, r2.A6) (r1><r2, (r1.A7= r2.A7))

.

47

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, (r1.A8=r2.A8)), d(r1.A3)=c2)

Продолжение

1

2

3

48

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A2, r1.A5, r2.A6) (r1><r2, r1.A7=r2.A7)

49

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, (r1.A7=r2.A7)), d(r1.A3)=c1)

50

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A2, r1.A5, r2.A6) (r1><r2, r1.A4=r2.A4)

51

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, r1.A6=r2.A6), d(r2.A2)=b1)

52

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A2, r1.A3, r2.A5) (r1><r2, r1.A6 r2.A8)

53

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, r1.A2=r2.A2), d(r1.A4)=d1)

Продолжение

1

2

3

54

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4)(r1.A1,r2.A2,r1.A3,r2.A5)(r1><r2,d(r1.A6)=d(r2.A6))

55

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, r1.A2=r2.A2), d(r2.A6)=1)

56

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) (r1.A1, r2.A4, r2.A5, r1.A6)(r1><r2, d(A5)=4);

r1.A5=r2.A5=A5

57

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4) ((r1><r2, d(r1.A6)d(r2.A8)), d(r1.A2)=b1)

58

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

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

1) (r1r2); 2) (r1r2); 3) (r1\r2);

4)(r1.A1,r1.A2,r1A6,r2.A5)(r1><r2,d(r1.A6)d(r2.A8))

59

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

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

  1. (r1r2); 2) (r1r2); 3) (r1\r2);

4).((r1><r2, r1.A6=r2.A6), d(r2.A2)=b1)