Relationaler Kalkül Relationenkalkül: Prädikatenlogik erster Stufe. •Syntax•: wie können gültige Ausdrücke des Kalküls gebildet werden. Dabei treten Konstanten, Variablen, Operatoren und Quantoren auf (symbolische Ebene).•Semantik•: beschreibt die Bedeutung von syntaktisch korrekt gebildeten Ausdrücken. Dabei geht es um Relationen und die Erfüllung von Bedingungen (Bedeutungsebene).•Zwei ähnliche Arten des Relationenkalküls: •Tupelkalkül•: Variablen repräsentieren die Tupel einer Relation•Domänenkalkül•: Variablen repräsentieren mögliche Werte eines Attributs•Zunächst: Beispiele zu Relationenkalkül-Anfragen und Quantoren. •Später: Formale Definition von Syntax und Semantik