Der Begriffskalkül - eine Konstruktionssprache für die Spezifikation von Datenbankanwendungen auf der Ebene der Benutzer.