Выборка.

Пусть

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

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

Кроме того,

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

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

 

Тогда

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

,

 

где

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

или .

 

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

 

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