WikiDer > Выбор (реляционная алгебра)

Selection (relational algebra)

В реляционная алгебра, а отбор (иногда называемый ограничение со ссылкой на статью Э.Ф. Кодда 1970 г.[1] и нетвопреки распространенному мнению, чтобы избежать путаницы с SQLиспользование SELECT, поскольку статья Кодда предшествовала существованию SQL) является унарная операция что означает подмножество отношения.

Выбор записывается как или же куда:

  • а и б имена атрибутов
  • θ это бинарная операция в наборе
  • v постоянная величина
  • р это отношение

Выбор обозначает все кортежи в р для которого θ держится между а и б атрибут.

Выбор обозначает все кортежи в р для которого θ держится между а атрибут и значение v.

В качестве примера рассмотрим следующие таблицы, в которых первая таблица дает соотношение Человек, вторая таблица дает результат а третья таблица дает результат .

ИмяВозрастМасса
Гарри3480
Салли2864
Джордж2970
Елена5454
Питер3480
ИмяВозрастМасса
Гарри3480
Елена5454
Питер3480
ИмяВозрастМасса
Елена5454

Более формально семантика выбора определяется следующим образом:

Результат выбора определяется только в том случае, если имена атрибутов, которые он упоминает, находятся в заголовке отношения, с которым он работает.

Обобщенный отбор

А обобщенный отбор это унарная операция написано как куда это пропозициональная формула который состоит из атомы как разрешено в обычном выборе и, кроме того, логические операторы ∧ (и), ∨ (или же) и (отрицание). Этот выбор выбирает все те кортежи в р для которого держит.

В качестве примера рассмотрим следующие таблицы, в которых первая таблица дает соотношение Человек а второй результат .

ИмяВозрастМасса
Гарри3480
Салли2864
Джордж2970
Елена5454
Питер3480
ИмяВозрастМасса
Елена5454

Формально семантика обобщенной выборки определяется следующим образом:

Результат выбора определяется только в том случае, если атрибут имена, которые он упоминает, находятся в заголовок отношения, на которое он действует.

Обобщенный выбор можно выразить с помощью других основных алгебраических операций. Моделирование обобщенного выбора с использованием основных операторов определяется следующими правилами:

Компьютерные языки

В компьютерных языках ожидается, что любой истинный выражение должно быть разрешено в качестве условия выбора, а не ограничиваться простым сравнением.

В SQL, выбор выполняется с помощью КУДА определения в ВЫБРАТЬ, ОБНОВИТЬ, и УДАЛИТЬ утверждения, но обратите внимание, что условие выбора может привести к любому из трех значений истинности (истинный, ложный и неизвестный) вместо обычных двух.

В SQL, общий выбор выполняется с помощью КУДА определения с И, ИЛИ ЖЕ, или же НЕТ операнды в ВЫБРАТЬ, ОБНОВИТЬ, и УДАЛИТЬ заявления.

Рекомендации

  1. ^ Кодд, Э.Ф. (Июнь 1970 г.). «Реляционная модель данных для больших общих банков данных». Коммуникации ACM. 13 (6): 377–387. Дои:10.1145/362384.362685.

внешняя ссылка