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.
Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.
Mit Ihrer Newsletter-Anmeldung erklären Sie sich mit unseren Datenschutzbestimmungen einverstanden.