Выборка.

Пусть

- исходное отношение,

- подмножество его атрибутов, причём - скаляр.

Кроме того,

и - сравнимые атрибуты в (определены на одном домене), а

- множество бинарных операций.

Тогда

выборка (ограничение) - это унарная операция s над отношением по формуле :

,

где

- результирующее отношение,

или .

Следовательно, выборка возвращает отношение , содержащее все те кортежи отношения , которые удовлетворяют заданному условию .

Например: для отношения “Деталь”