Selection (relational algebra)

In relational algebra, a selection (sometimes called a restriction in reference to E.F. Codd's 1970 paper and not, contrary to a popular belief, to avoid confusion with SQL's use of SELECT, since Codd's article predates the existence of SQL) is a unary operation that denotes a subset of a relation.

A selection is written as ${\sigma }_{a\theta b}(R)$ or ${\sigma }_{a\theta v}(R)$ where:

• Template:Mvar and Template:Mvar are attribute names
• Template:Mvar is a binary operation in the set $\{<,\le ,=,\ne ,\ge ,>\}$
• Template:Mvar is a value constant
• Template:Mvar is a relation

The selection ${\sigma }_{a\theta b}(R)$ denotes all tuples in Template:Mvar for which Template:Mvar holds between the Template:Mvar and the Template:Mvar attribute.

The selection ${\sigma }_{a\theta v}(R)$ denotes all tuples in Template:Mvar for which Template:Mvar holds between the Template:Mvar attribute and the value Template:Mvar.

For an example, consider the following tables where the first table gives the relation Template:Math, the second table gives the result of ${\sigma }_{\text{Age}\ge 34}(\text{Person})$ and the third table gives the result of ${\sigma }_{\text{Age}=\text{Weight}}(\text{Person})$.

$\text{Person}$	${\sigma }_{\text{Age}\ge 34}(\text{Person})$	${\sigma }_{\text{Age}=\text{Weight}}(\text{Person})$
Name Age Weight Harry 34 80 Sally 28 64 George 29 70 Helena 54 54 Peter 34 80	Name Age Weight Harry 34 80 Helena 54 54 Peter 34 80	Name Age Weight Helena 54 54

More formally the semantics of the selection is defined as follows:

${\sigma }_{a\theta b}(R)=\{t:t\in R,t(a)\theta t(b)\}$

${\sigma }_{a\theta v}(R)=\{t:t\in R,t(a)\theta v\}$

The result of the selection is only defined if the attribute names that it mentions are in the heading of the relation that it operates upon.

Generalized selection

A generalized selection is a unary operation written as ${\sigma }_{\phi }(R)$ where $\phi$ is a propositional formula that consists of atoms as allowed in the normal selection and, in addition, the logical operators ∧ (and), ∨ (or) and $\mathrm{\neg }$ (negation). This selection selects all those tuples in Template:Mvar for which $\phi$ holds.

For an example, consider the following tables where the first table gives the relation Template:Math and the second the result of ${\sigma }_{\text{Age}\ge 30\wedge \text{Weight}\le 60}(\text{Person})$.

$\text{Person}$	${\sigma }_{\text{Age}\ge 30\wedge \text{Weight}\le 60}(\text{Person})$
Name Age Weight Harry 34 80 Sally 28 64 George 29 70 Helena 54 54 Peter 34 80	Name Age Weight Helena 54 54

Formally the semantics of the generalized selection is defined as follows:

${\sigma }_{\phi }(R)=\{t:t\in R,\phi (t)\}$

The result of the selection is only defined if the attribute names that it mentions are in the header of the relation that it operates upon.

The generalized selection is expressible with other basic algebraic operations. A simulation of generalized selection using the fundamental operators is defined by the following rules:

${\sigma }_{\phi \wedge \psi }(R)={\sigma }_{\phi }(R)\cap {\sigma }_{\psi }(R)$

${\sigma }_{\phi \vee \psi }(R)={\sigma }_{\phi }(R)\cup {\sigma }_{\psi }(R)$

${\sigma }_{\mathrm{\neg }\phi }(R)=R-{\sigma }_{\phi }(R)$

Computer languages

In computer languages it is expected that any truth-valued expression be permitted as the selection condition rather than restricting it to be a simple comparison.

In SQL, selections are performed by using WHERE definitions in SELECT, UPDATE, and DELETE statements, but note that the selection condition can result in any of three truth values (true, false and unknown) instead of the usual two.

In SQL, general selections are performed by using WHERE definitions with AND, OR, or NOT operands in SELECT, UPDATE, and DELETE statements.

External links

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