Выбор (реляционная алгебра) - Selection (relational algebra)

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

Выбор записывается как${ Displaystyle sigma _ {а тета b} (R)}$ или же ${ Displaystyle sigma _ {а тета v} (R)}$ куда:

• а и б имена атрибутов
• θ это бинарная операция в наборе ${ Displaystyle {; <, Leq, =, neq, geq, ;> }}$
• v постоянная величина
• р это отношение

Выбор ${ Displaystyle sigma _ {а тета b} (R)}$ обозначает все кортежи в р для которого θ держится между а и б атрибут.

Выбор ${ Displaystyle sigma _ {а тета v} (R)}$ обозначает все кортежи в р для которого θ держится между а атрибут и значение v.

В качестве примера рассмотрим следующие таблицы, в которых первая таблица дает соотношение Человек, вторая таблица дает результат ${ displaystyle sigma _ {{ text {Age}} geq 34} ({ text {Person}})}$ а третья таблица дает результат ${ displaystyle sigma _ {{ text {Age}} = { text {Weight}}} ({ text {Person}})}$.

${ displaystyle { text {Person}}}$	${ displaystyle sigma _ {{ text {Age}} geq 34} ({ text {Person}})}$	${ displaystyle sigma _ {{ text {Age}} = { text {Weight}}} ({ text {Person}})}$
Имя Возраст Масса Гарри 34 80 Салли 28 64 Джордж 29 70 Елена 54 54 Питер 34 80	Имя Возраст Масса Гарри 34 80 Елена 54 54 Питер 34 80	Имя Возраст Масса Елена 54 54

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

${ Displaystyle сигма _ {а тета Ь} (р) = { т: т в р, т (а) тета т (Ь) }}$

${ Displaystyle сигма _ {а тета v} (р) = { т: т в р, т (а) тета v }}$

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

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

А обобщенный отбор это унарная операция написано как ${ Displaystyle sigma _ { varphi} (R)}$ куда ${ displaystyle varphi}$ это пропозициональная формула который состоит из атомы как разрешено в обычном выборе и, кроме того, логические операторы ∧ (и ), ∨ (или же ) и ${ Displaystyle lnot}$ (отрицание ). Этот выбор выбирает все те кортежи в р для которого ${ displaystyle varphi}$ держит.

В качестве примера рассмотрим следующие таблицы, в которых первая таблица дает соотношение Человек а второй результат ${ displaystyle sigma _ {{ text {Age}} geq 30 land { text {Weight}} leq 60} ({ text {Person}})}$.

${ displaystyle { text {Person}}}$	${ displaystyle sigma _ {{ text {Age}} geq 30 land { text {Weight}} leq 60} ({ text {Person}})}$
Имя Возраст Масса Гарри 34 80 Салли 28 64 Джордж 29 70 Елена 54 54 Питер 34 80	Имя Возраст Масса Елена 54 54

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

${ Displaystyle sigma _ { varphi} (R) = { t: t in R, varphi (t) }}$

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

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

${ Displaystyle sigma _ { varphi land psi} (R) = sigma _ { varphi} (R) cap sigma _ { psi} (R)}$

${ Displaystyle sigma _ { varphi lor psi} (R) = sigma _ { varphi} (R) cup sigma _ { psi} (R)}$

${ Displaystyle sigma _ { lnot varphi} (R) = R- sigma _ { varphi} (R)}$

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

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

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

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

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

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

• http://cisnet.baruch.cuny.edu/holowczak/classes/3400/relationalalgebra/#selectionoperator