Relationale Sprachen Die Relationale Algebra gilt als Maß für die Ausdruckskraft einer Anfragesprache.•Eine Sprache •L •heißt •relational vollständig •genau dann, wenn jeder Ausdruck der Relationenalgebra in •L •simuliert werden kann, d.h. es gibt Ausdrücke in •L•, mit denen dasselbe Ergebnis erreicht werden kann.•Eine Sprache •L •heißt •streng relational vollständig •genau dann, wenn jeder Ausdruck der Relationenalgebra durch einen einzigen Ausdruck von •L •simuliert werden kann.•Für den Relationenkalkül unterscheiden wir zwei Arten: Tupel- und Bereichskalkül. Beide sind streng relational vollständig. Insbesondere sind Ausdrücke der Relationenalgebra, sichere Ausdrücke des Tupelkalküls und sichere Ausdrücke des Bereichskalküls äquivalent in ihrer Mächtigkeit.•Ein Ausdruck des Tupelkalküls bzw. des Bereichskalküls heißt sicher, wenn sich aus der syntaktischen Struktur erkennen lässt, dass bei der Auswertung einer Anfrage nur endlich viele Tupelkandidaten überprüft werden müssen.