Zur formalen Semantik von SQL. - Martin Gogolla; Ulrich Karge (Grundlagen von Datenbanken, 1990)