pdf (1820 Kb) - Fachgebiet Datenbanken und Informationssysteme ...

UnaryRAExpession(): RelationIdent() |
„(„ RAExpression() [ Alias() ] „)“ |
„[„ AttList() „]“ „(„ RAExpression() „)“ |
„[„ Condition() „]“ „(„ RAExpression() „)“ |
„[„ GroupList() „“ AggrList() „]“ „(„ RAExpression() „)“
Für Selektionsbedingung muss ein anderes Nichtterminal verwendet werden als für die
Joinbedingungen, da hier nicht nur Und-Verknüpfungen, sondern beliebige boolsche Verknüpfungen
von Vergleichen erlaubt sind.
Für die Relationen- und Aliasnamen ergeben sich folgende Produktionen.
RelationIdent():
Alias():
Mit den bisher gegebenen Produktionen lassen sich auf relationenalgebraischer Ebene
bereits beliebige Ausdrücke rekursiv erstellen, es fehlen aber noch die Produktionen für
die Bedingungen und Attribut-Listen.
Eine Selektionsbedingung besteht aus logischen Verknüpfungen von Vergleichs-Ausdrücken.
Da die logischen Operatoren unterschiedliche Prioritäten besitzen, müssen hier mehrere
Produktionen erstellt werden. Stellt man sich einen Ableitungsbaum vor, so müssen sich
ganz allgemein Operatoren mit einer niedrigen Priorität möglichst weit entfernt von den
terminalen Operanden-Symbolen, also möglichst weit oben im Baum befinden. Bezogen
auf die Grammatik bedeutet dies, dass für jede Prioritätsstufe eine Produktion vorhanden
sein muss. Die Produktion werden hierarchisch durchlaufen. In der ersten Produktion
können optional Symbole mit niedrieger Priorität erkannt werden oder direkt in die
nächste Produktion gewechselt werden. Bei den logischen Operatoren besitzt die Oder-
Verknüpfung die niedrigste Priorität, eine Und-Verknüpfung eine höhere und der Not-
Operator die höchste. Zusäzlich muss die Änderung der Prioritäten durch Klammerung
mit einbezogen werden. Es ergeben sich folgende Produktionen.
Conditon(): AndExpression() ( AndExpression())∗
AndExpression(): NotExpression() (AND NotExpression)∗
NotExpression(): [] ( Comparison() | "‘("‘ Condition() "‘)"’␣)
Da keine Schachtelung von Vergleichen möglich ist, müssen hier keine Prioritäts-Regeln
beachtet werden. Es muss daher nur eine Produktion vorhanden sein.
Comparison(): AttributeTerm() ( AttriuteTerm() |
[] |
|
Literal() Literal() )
Ein Literal kann hierbei ein beliebiges Literal sein.
20