В базы данных

Код_дет Назв_дет Количество
Код_дет Стеллаж Кол_дет 
01 
02 
03 
04 
05 
А 
Д 
В 
С 
Е 
1 
2 
2 
3 
1 
01 
03 
04 
05 
10 
02 
100 
250 
2 
Запрос: Перечислить названия деталей, потребности в которых 
покрываются деталями, хранящимися на складе. 
Очевидно, что решением этой задачи будет отношение, содержащее 
названия некоторых деталей. Это отношение состоит из одного столбца, 
так что в этом случае целевым списком является: 
t.Назв_дет, 
где t— строка из отношения ПОТРЕБНОСТИ. 
Пусть s — строка отношения СКЛАД. 
Формирование определяющего выражения осуществляется, исходя 
из следующего. Для того чтобы деталь вошла в отношение решения, 
должно удовлетворяться условие, что на складе эта деталь имеется в 
достаточном количестве. Другими словами, если Код_дет встречается в 
строке отношения СКЛАД с Кол_дет > Количество в строке отношения 
ПОТРЕБНОСТИ, то эта деталь должна быть включена в решение. Таким 
образом, условие таково: существует хотя бы одна строка в отношении 

---

102
СКЛАД, содержащая требуемый Код_дет и где s.Кол_дет > t.Количество. 
Это формируется следующим образом: 
exists s in СКЛАД 
(s.Код_дет = t.Код_дет and s.Кол дет > t.Количество). 
Такое выражение читается: "Существует строка s в отношении 
СКЛАД такая, что s.Код_дет = t.Код_дет и s. Код_дет > t.Количество". 
Приведенное выражение определяет строку t. Если оно истинно, то 
есть для строки t существует такая строка s, то t.Hазв_дет помещается в 
результирующее отношение. Если выражение ложно — то есть такой 
строки s не существует — тогда t.Назв_дет не помещается в 
результирующее отношение. 
Полное решение в реляционном исчислении выглядит следующим 
образом: 
{t.Назв_дет 
⎟ t in ПОТРЕБНОСТИ and exists s in СКЛАД (s.Код_дет = 
t.Код_дет and s.Кол_дет > t.Количество )}. 
Оно описывает отношение, состоящее из одного столбца и 
содержащее 
названия 
деталей, 
взятых 
из 
строк 
отношения