Výběr (relační algebra) - Selection (relational algebra)

v relační algebra, a výběr (někdy nazývané a omezení v odkazu na papír E.F.Codda z roku 1970^[1] a ne, na rozdíl od všeobecného přesvědčení, aby nedošlo k záměně s SQL použití SELECT, protože Coddův článek předchází existenci SQL) je a unární provoz který označuje a podmnožina vztahu.

Výběr je zapsán jako${ displaystyle sigma _ {a theta b} (R)}$ nebo ${ displaystyle sigma _ {a theta v} (R)}$ kde:

• A a b jsou názvy atributů
• θ je binární operace v sadě ${ displaystyle {; <, leq, =, neq, geq, ;> }}$
• proti je hodnotová konstanta
• R je vztah

Výběr ${ displaystyle sigma _ {a theta b} (R)}$ označuje vše n-tice v R pro který θ drží mezi A a b atribut.

Výběr ${ displaystyle sigma _ {a theta v} (R)}$ označuje všechny n-tice v R pro který θ drží mezi A atribut a hodnota proti.

Zvažte například následující tabulky, kde první tabulka dává vztah Osoba, druhá tabulka uvádí výsledek ${ displaystyle sigma _ {{ text {Age}} geq 34} ({ text {Person}})}$ a třetí tabulka uvádí výsledek ${ displaystyle sigma _ {{ text {Age}} = { text {Weight}}} ({ text {Person}})}$.

${ displaystyle { text {Osoba}}}$	${ displaystyle sigma _ {{ text {Age}} geq 34} ({ text {Person}})}$	${ displaystyle sigma _ {{ text {Age}} = { text {Weight}}} ({ text {Person}})}$
název Stáří Hmotnost Harry 34 80 Výpad 28 64 Jiří 29 70 Helena 54 54 Petr 34 80	název Stáří Hmotnost Harry 34 80 Helena 54 54 Petr 34 80	název Stáří Hmotnost Helena 54 54

Formálně je sémantika výběru definována takto:

${ Displaystyle sigma _ {a theta b} (R) = { t: t v R, t (a) theta t (b) }}$

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

Výsledek výběru je definován pouze v případě, že názvy atributů, které uvádí, jsou v záhlaví vztahu, na kterém působí.

Zobecněný výběr

A zobecněný výběr je unární provoz psáno jako ${ displaystyle sigma _ { varphi} (R)}$ kde ${ displaystyle varphi}$ je výrokový vzorec který se skládá z atomy jak to umožňuje normální výběr a navíc logické operátory ∧ (a ), ∨ (nebo ) a ${ displaystyle lnot}$ (negace ). Tento výběr vybere všechny n-tice v R pro který ${ displaystyle varphi}$ drží.

Zvažte například následující tabulky, kde první tabulka dává vztah Osoba a druhý výsledek ${ displaystyle sigma _ {{ text {Age}} geq 30 land { text {Weight}} leq 60} ({ text {Person}})}$.

${ displaystyle { text {Osoba}}}$	${ displaystyle sigma _ {{ text {Age}} geq 30 land { text {Weight}} leq 60} ({ text {Person}})}$
název Stáří Hmotnost Harry 34 80 Výpad 28 64 Jiří 29 70 Helena 54 54 Petr 34 80	název Stáří Hmotnost Helena 54 54

Formálně je sémantika zobecněného výběru definována takto:

${ displaystyle sigma _ { varphi} (R) = { t: t v R, varphi (t) }}$

Výsledek výběru je definován pouze v případě, že atribut jména, která zmiňuje, jsou v záhlaví vztahu, na kterém funguje.

Zobecněný výběr je vyjádřitelný jinými základními algebraickými operacemi. Simulace zobecněného výběru pomocí základních operátorů je definována následujícími pravidly:

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

${ displaystyle sigma _ { varphi lor psi} (R) = sigma _ { varphi} (R) pohár sigma _ { psi} (R)}$

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

Počítačové jazyky

V počítačových jazycích se očekává, že jakýkoli pravdivý výraz je povolen jako podmínka výběru, místo aby jej omezoval na jednoduché srovnání.

v SQL, výběr se provádí pomocí KDE definice v VYBRAT, AKTUALIZACE, a VYMAZAT prohlášení, ale všimněte si, že podmínka výběru může mít za následek kteroukoli ze tří pravdivých hodnot (skutečný, Nepravdivé a neznámý) místo obvyklých dvou.

v SQL, obecný výběr se provádí pomocí KDE definice s A, NEBOnebo NE operandy v VYBRAT, AKTUALIZACE, a VYMAZAT prohlášení.

Reference

externí odkazy

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