Abfragesprachen

Es gibt verschiedene Konzepte für formale Sprachen zur Formulierung einer Anfrage (Query) an ein relationales Datenbanksystem:

• Relationenalgebra (prozedural):
  Verknüpft konstruktiv die vorhandenen Relationen durch Operatoren wie $\cup$ , $\cap$ ,...:
• Relationenkalkül (deklarativ):
  Beschreibt Eigenschaften des gewünschten Ergebnisses mit Hilfe einer Formel der Prädikatenlogik 1. Stufe unter Verwendung von $\wedge$ , $\vee$ ,$\neg$,$\exists$,$\forall$ .
• SQL (kommerziell):
  Stellt eine in Umgangssprache gegossene Mischung aus Relationenalgebra und Relationenkalkül dar.
• Query by Example (für Analphabeten):
  Verlangt vom Anwender das Ausfüllen eines Gerüstes mit Beispiel-Einträgen.