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
σ a θ b ( R ) {\displaystyle \sigma _{a\theta b}(R)} or σ a θ v ( R ) {\displaystyle \sigma _{a\theta v}(R)} where:
a and b are attribute names θ is a binary operation in the set { < , ≤ , = , ≠ , ≥ , > } {\displaystyle \{\;<,\leq ,=,\neq ,\geq ,\;>\}}
v is a value constant R is a relation The selection σ a θ b ( R ) {\displaystyle \sigma _{a\theta b}(R)} denotes all tuples in R for which θ holds between the a and the b attribute. The selection σ a θ v ( R ) {\displaystyle \sigma _{a\theta v}(R)} denotes all tuples in R for which θ holds between the a attribute and the value v. For an example, consider the following tables where the first table gives the relation Person, the second table gives the result of σ Age ≥ 34 ( Person ) {\displaystyle \sigma _{{\text{Age}}\geq 34}({\text{Person}})} and the third table gives the result of σ Age = Weight ( Person ) {\displaystyle \sigma _{{\text{Age}}={\text{Weight}}}({\text{Person}})} .
More formally the semantics of the selection is defined as follows:
σ a θ b ( R ) = { t : t ∈ R , t ( a ) θ t ( b ) } {\displaystyle \sigma _{a\theta b}(R)=\{\ t:t\in R,\ t(a)\ \theta \ t(b)\ \}}
σ a θ v ( R ) = { t : t ∈ R , t ( a ) θ v } {\displaystyle \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 σ φ ( R ) {\displaystyle \sigma _{\varphi }(R)} where φ {\displaystyle \varphi } is a propositional formula that consists of atoms as allowed in the normal selection and, in addition, the logical operators ∧ (and), ∨ (or) and ¬ {\displaystyle \lnot } (negation). This selection selects all those tuples in R for which φ {\displaystyle \varphi } holds. For an example, consider the following tables where the first table gives the relation Person and the second the result of σ Age ≥ 30 ∧ Weight ≤ 60 ( Person ) {\displaystyle \sigma _{{\text{Age}}\geq 30\ \land \ {\text{Weight}}\leq 60}({\text{Person}})} .
Formally the semantics of the generalized selection is defined as follows:
σ φ ( R ) = { t : t ∈ R , φ ( t ) } {\displaystyle \sigma _{\varphi }(R)=\{\ t:t\in R,\ \varphi (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:
σ φ ∧ ψ ( R ) = σ φ ( R ) ∩ σ ψ ( R ) {\displaystyle \sigma _{\varphi \land \psi }(R)=\sigma _{\varphi }(R)\cap \sigma _{\psi }(R)}
σ φ ∨ ψ ( R ) = σ φ ( R ) ∪ σ ψ ( R ) {\displaystyle \sigma _{\varphi \lor \psi }(R)=\sigma _{\varphi }(R)\cup \sigma _{\psi }(R)}
… excerpt ends here. Continue reading the full article.
