In relationaler Algebra eine Auswahl von (manchmal auch als -Einschränkung bezeichnet, in Bezug auf EF Codds 1970 [1] und entgegen einer verbreiteten Meinung Um Verwechslungen mit der Verwendung von SELECT durch SQL zu vermeiden, da der Artikel von Codd bereits vor SQL existiert, handelt es sich um eine unäre Operation, die eine Teilmenge einer Beziehung bezeichnet.
Eine Auswahl wird als geschrieben oder wobei:
- a und b sind Attributnamen.
- θ ist eine binäre Operation im Satz <img src = "https://wikimedia.org/api/rest_v1/media/math/render/svg/e1edc56dc3047441f1893b131a7031ba055b4b73" class = "mwe-math-fallback-image-inline" aria-hidden = "true" "style =" vertikal-align: -0.838ex; Breite: 19.634ex; Höhe: 2.843ex; " alt = " { <,leq ,=,neq ,geq ,;> } "/>
- v ist eine Wertkonstante
- R ist eine Beziehung
Die Auswahl bezeichnet alle -Tupel in R für die θ zwischen a und b besteht ] Attribut.
Die Auswahl bezeichnet alle Tupel in R für die θ a hält Attribut und der Wert v .
Betrachten Sie als Beispiel die folgenden Tabellen, in denen die erste Tabelle die Beziehung Person und die zweite Tabelle das Ergebnis von und die dritte Tabelle gibt das Ergebnis von .
| ] | ||||||||||||||||||||||||||||||||||||||
|
|
|
Formal ist die Semantik der Auswahl als definiert folgt:
Das Ergebnis der Auswahl wird nur definiert, wenn die Attributnamen, die es erwähnt, in der Überschrift der Beziehung stehen, für die es arbeitet.
Generalisierte Auswahl [ edit ]
Eine generalisierte Auswahl ist eine unäre Operation, die als wobei eine Satzformel, die aus Atomen besteht, wie sie in der normalen Auswahl zulässig sind, und zusätzlich den logischen Operatoren ∧ (und), ∨ (oder) und ( Negation). Diese Auswahl wählt alle jene Tupel in R aus, für die gilt.
Betrachten Sie als Beispiel die folgenden Tabellen, in denen die erste Tabelle die Beziehung Person und die zweite das Ergebnis von .
| ] | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
Formal ist die Semantik der generalisierten Auswahl wie folgt definiert:
Das Ergebnis der Auswahl wird nur definiert, wenn die von ihm erwähnten Attributnamen im Header der Relation stehen, auf die es angewendet wird.
Die verallgemeinerte Auswahl kann mit anderen algebraischen Grundoperationen ausgedrückt werden. Eine Simulation der verallgemeinerten Auswahl mit den Grundoperatoren wird durch folgende Regeln definiert:
Computersprachen [ edit ]
In Computersprachen wird erwartet, dass jeder wahrheitsgemäße Ausdruck als Auswahlbedingung zulässig sein, anstatt sie auf einen einfachen Vergleich zu beschränken.
In SQL wird die Auswahl mit den WHERE -Definitionen in SELECT UPDATE und DELETE ausgeführt Auswahlbedingung kann zu einem von drei Wahrheitswerten ( true false und unbekannt ) anstelle der üblichen zwei führen.
In SQL werden allgemeine Selektionen mit Hilfe der Operanden WHERE mit AND OR oder NOT oder NOT durchgeführt. SELECT UPDATE und DELETE -Anweisungen.
No comments:
Post a Comment