Ein einflussreiches Werk, das relationale Verfahren in Logik und Informatik systematisch untersucht, theoretische Grundlagen mit algorithmischen Anwendungen verbindet und neue Forschungsansätze eröffnet.