Relationenkalkül
aus Wikipedia, der freien Enzyklopädie
| Die Artikel Relationenkalkül und Kalkül (Datenbank) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Die Diskussion über diese Überschneidungen findet hier statt. Bitte äußere dich dort, bevor du den Baustein entfernst. |
Das Relationenkalkül ist eine der theoretischen Grundlagen von Datenbankabfragesprachen wie SQL und dabei etwas allgemeiner als bspw. Prolog (Programmiersprache).
Ausdrücke im Relationenkalkül sind von der Gestalt: 
, wobei t eine Tupelvariable (für feste Stelligkeit) ist und 
aus Atomen und Operatoren besteht.
Atome in 
können von drei Arten sein:
- R(s) mit Relationsnamen R und Tupelvariable s.
Bedeutung: s ist Tupel in Relation R ![s[i] \vartheta u[j]](../../../math/7/8/b/78b861ae174ed3cb89da3ff5bcf40bb9.png)
mit s und u als Tupelvariablen und 
als Vergleichsoperator.
Bedeutung: die i-te Komponente von s steht in Beziehung zur j-ten Komponente von u.![s[i] \vartheta a](../../../math/a/d/6/ad6202c7690c83a653f753b6ea84243f.png)
mit s und wie zuvor und a Konstante.
