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
formula_1 or formula_2 where:
The selection formula_1 denotes all tuples in for which holds between the and the attribute.
The selection formula_2 denotes all tuples in for which holds between the attribute and the value .
For an example, consider the following tables where the first table gives the relation , the second table gives the result of formula_6 and the third table gives the result of formula_7.
More formally the semantics of the selection is defined as
follows:
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 formula_10 where formula_11 is a propositional formula that consists of atoms as allowed in the normal selection and, in addition, the logical operators ∧ (and), ∨ (or) and formula_12 (negation). This selection selects all those tuples in for which formula_11 holds.
For an example, consider the following tables where the first table gives the relation and the second the result of formula_14.
Formally the semantics of the generalized selection is defined as follows:
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:
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 codice_1 definitions in codice_2, codice_3, and codice_4 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 codice_1 definitions with codice_6, codice_7, or codice_8 operands in codice_2, codice_3, and codice_4 statements.