Выдать фамилии поставщиков, поставляющих деталь Р2 (пример 5.3.1):
S
НОМЕР_
ПОСТАВЩИКА
ФАМИЛИЯ
SP
НОМЕР_
ПОСТАВЩИКА
НОМЕР_
ДЕТАЛИ
_SX
Р.
_SX
Р2
Строка в таблице SP неявным образом квантифицирована квантором существования «существует». Этот запрос можно перефразировать следующим образом: «Показать на экране фамилии поставщиков SX таких, что существует какая-либо поставка детали Р2 поставщиком SX».
