В базы данных

разделенных запятыми. 
{t.Код_дет, t.Назв_дет, t.Вес 
⎟ t in r and t.Bec = 2}. 
Рассмотрим еще один пример. Пусть даны отношения: 
г - ИЗДЕЛИЕ 1 s -ИЗДЕЛИЕ 2 
Код_дет 
Назв_дет Вес 
 
Код_дет 
Назв_дет 
Вес 
01 
02 
03 
04 
05 
А 
Д 
В 
C 
Е 
1 
2 
2 
3 
1 
02 
04 
03 
06 
Д 
С 
B 
K 
2 
3 
2 
1 
Согласно алгебраическому выражению 
π
Назв_дет
(r 
∩ s) реляционной 
алгебры, содержащему операции пересечения и проецирования, получим 
отношение: 
Назв_дет 
Д 
С 
В 

---

101
В реляционном же исчислении, если t кортеж r, а у кортеж s, этот 
запрос может включать в себя следующие компоненты: 
t.Назв_дет - целевой список; 
t in r and у in s and t.Кoд_дет = у.Код_дет and t.Bec = у.Вес and 
t.Hазв_дет = у.Назв_дет — определяющее выражение. 
В рассмотренных примерах были использованы операции выбора, 
пересечении и проецирования реляционной алгебры. Аналогично можно 
получить конструкции реляционного исчисления, соответствующие ряду 
других операций: объединению, разности и произведению. 
Несколько иначе выглядят аналоги только двух операций 
реляционной алгебры — операций соединения и деления. Для построения 
аналогов этих операций требуются кванторы: квантор существования для 
соединения и квантор всеобщности для деления. 
8.2.2. Квантор существования 
Квантор существования означает, что существует хотя бы один 
экземпляр определенного типа вещей. В реляционном исчислении квантор 
существования используется для задания условия того, что определенный 
тип строк в отношении существует. 
Рассмотрим отношения:
ПОТРЕБНОСТИ СКЛАД