Деление отношений

Операция деления выполняется над двумя отношениями А и В, где А - отношение-делимое, а B - отношение-делитель. При этом атрибуты B должны являться подмножеством атрибутов A. Результатом выполнения операции деления является отношение С, которое включает в себя атрибуты отношения А, отличные от атрибутов отношения В, и только те кортежи, декартовы произведения которых с отношением В дают отношение А:

Представление частного отношений через другие алгебраические операции может быть получено следующим образом. Предположим, что Пусть n и m - арности отношений Q_a и Q_b, n > m. Тогда разность исходных отношений есть множество кортежей t степени n - m, таких, что для всех кортежей s степени m из Q_b, кортеж ts принадлежит Q_a. Пусть Тогда есть множество кортежей степени n, не принадлежащих Q_a. Каждый из них формируется из n - m первых компонентов кортежа из Q_a, за которым следуют компоненты кортежа Q_b. Пусть далее есть множество кортежей t степени n - m, состоящих из первых n - m компонентов Q_a, причем для каждого из них в Q_b существует некоторый кортеж s степени m, такой, что ts не принадлежит Q_a. Таким образом, разность отношений T - V есть, по определению, частное отношений

Пример. Деление отношений. Выполним операцию деления отношения РЕЗУЛЬТАТЫ_МЕДОСМОТРА на отношение МЕДОСМОТР. Исходные отношения: РЕЗУЛЬТАТЫ_МЕДОСМОТРА (#, Фамилия, Пол, Процедура, Дата) МЕДОСМОТР (Процедура, Дата)

	Иванов	М	ЭКГ	17.08
	Иванов	М	Анализ крови	20.08
	Иванов	М	Терапевт	23.08
	Антонова	Ж	ЭКГ	17.08
	Антонова	Ж	Анализ крови	20.08
	Антонова	Ж	Терапевт	23.08

Результирующее отношение:

ЭКГ	17.08
Анализ крови	20.08
Терапевт	23.08

СЛУЖАЩИЙ (#, Фамилия, Пол) = РЕЗУЛЬТАТЫ_МЕДОСМОТРА / МЕДОСМОТР

	Иванов	М
	Антонова	Ж

Дата добавления: 2014-01-07