Eine neue, vollständig axiomatisierbare Klasse von Integritätsbedingungen für relationale Datenbanken. - Walter Grassl (1985)