Bøger af Ralf Hinze

Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell deduktiver Datenbanken definiert. Es folgt die schrittweise Erweiterung dieses Grundmodells um Datenbankkonzepte wie Anfrageauswertung, Integritätsprüfung und Änderungsbearbeitung. Anschließend werden Typ- und Modussysteme diskutiert. Das Buch schließt mit einem praktischen Teil, in dem die prototypische Realisierung des vorgestellten deduktiven Datenbanksystems in Prolog erörtert wird.