Базы данных. Основы SQL реляционных баз данных. Копейкин М.В - 18 стр.

UptoLike

д3 м2
д3 м5
д2 м3
Рис. 1.5. Варианты изготовления Рис. 1.6. Материалы на складе
Если необходимо определить детали, которые могут быть изготовлены из всех
материалов, хранимых на складе, то неформально мы можем определить, что такой
деталью является только деталь д2, так как она может быть изготовлена как из материала
м5, так
и из м9.
Фактически R2 есть подмножество материалов, из которых может быть сделана
деталь д2: {м5, м9} {м3, м5, м9}.
Формально этот запрос соответствует операции деления реляционной алгебры,
которая обозначается:
Rrez (ШД) = R1[ШМ ÷ ШМ"]R2 , где ÷ - символ операции деления.
В общем случае имеется два отношения:
R1 (A1, ..., An)
и R2 (O1, ..., Om),
и задан список атрибутов А так, что, не теряя общности, отношения R1 и R2 можно
представить в виде:
R1 (Ã, A) и R2 (A, Õ),
где Ã и Õ - дополнение списка А до полного списка атрибутов отношения R1 и R2
соответственно.
A U Ã = Ar (полный список атрибутов отношения r). Ã -это подмножество Ar,
являющееся результатом
операции деления.
Для нашего примера:
A = ШД; Ã = ШМ; Õ - пустое множество.
Тогда отношения R1 и R2 становятся объединяемыми и результат можно
представить:
Rrez (A) = R1 [Ã ÷ A] R2.
Степень результирующего отношения определяется количеством атрибутов в
списке Ã, а мощность Мrez << М1. Чтобы более точно объяснить смысл операции
деления, запишем ее через
ранее введенные операции. Для этого необходимо дать