В. Ф. Пономарев математическая логика

Вид материала

Учебное пособие

Подобный материал:

• Математическая логика, 1012.22kb.
• В. Ф. Пономарев математическая логика, 3033.04kb.
• Рабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов шифр, 316.78kb.
• Программы кандидатского экзамена по специальности 01. 01. 06 "Математическая логика,, 50.44kb.
• Рабочая учебная программа по дисциплине математическая логика, 72.41kb.
• Рабочей программы учебной дисциплины дв2 Математическая логика и теория алгоритмов, 50.1kb.
• Рабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов», 69.99kb.
• Н. В. Папуловская Математическая логика Методическое пособие, 786.38kb.
• Уакиев Валериан Савирович рекомендуемая литература, 334.04kb.
• Аннотация программы учебной дисциплины «Дискретная математика и математическая логика, 55.65kb.

Алгоритм определения результатов естественного соединения отношений r1 и r2:

шаг 1: найти прямое произведение двух отношений r₁ и r₂ ;

шаг 2: совместить одноименные столбцы прямого произведения;

шаг 3: удалить строки, имеющие различные значения атрибутов в сов­мещаемых столбцах;

шаг 4: оставшиеся строки формируют строки нового отношения.

Оператор естественного соединения соединяет два отношения по атрибутам, имеющим одинаковое имя и значение.

В результате выполнения этой операции формируется множество кор­тежей по правилу:

r’={t’=1, t₂> t₁ r₁; t₂  r₂; rel(r₁)rel(r₂); rel(r’)=rel(r₁) rel(r₂)}.

В нотации компьютерных языков оператор соединения записывают так: r’=JOIN (r₁, r₂).

Операция соединения симметрична, что поз­воляет менять местами операнды, данного оператора.


Таблица 3.28

r1>2

A1

A2

A3

A4

A5

r3>4

A1

A4

A5

A6

a1

b1

1

c2

d3

a1

c2

d3

1

a1

b1

1

c2

d1

a2

c1

d1

2

a2

b2

3

c1

d1

a3

b3

2

c1

d2

Пример. Какие занятия по документу “Учебный_план_2” (табл. 3.1b) проводят занятия преподаватели по документу “Преподаватель_2” (табл. 3.2b)?

r’=JOIN (преподаватель_2, учебный_план_2”).

В табл. 3.1b и 3.2b сливаются два столбца с именами ДИСЦИПЛИНА и удаляются те строки, в которых значения этих атрибутов различны.

Таблица 3.29

ФАМИЛИЯ	ИМЯ	ОТЧЕСТВО	ДОЛЖНОСТЬ	ДИСЦИПЛИНА	ЛЕКЦИИ,ч.	ЛАБ.ЗАНЯТИЯ,ч.	ПРАКТ.ЗАНЯТИЯ,ч.	ОТЧЕТНОСТЬ
петров	сергей	иван-ч	доцент	культурология	17	0	34	зач
танин	иван	петр-ч	доцент	мат. анализ	34	0	34	экз
петров	иван	серг-ч	проф-р	физика	34	34	17	экз
олин	иван	иван-ч	доцент	электроника	68	34	0	экз