Logic Programming and Databases (Surveys in Computer Science)

"Logic Programming and Databases" von Letizia Tanca ist ein umfassendes Nachschlagewerk, das die Verbindung zwischen Logikprogrammierung und Datenbanken untersucht. Es bietet eine detaillierte Analyse der Anwendung von logischen Systemen in der Datenbanktheorie und -praxis. Das Buch beleuchtet die Vorteile der Integration von Logik und Datenbankmanagementsystemen, einschließlich verbesserter Abfragesprachen, Datenintegrität und Wissensverarbeitung. Zudem behandelt es auch Themen wie relationale Datenbanken, logische Abfragesprachen und Constraint-Datenbanksysteme. Ziel des Buches ist es, sowohl theoretisches als auch praktisches Wissen zu vermitteln und den Leser dazu zu befähigen, komplexe datenbasierte Probleme mithilfe der Logikprogrammierung zu lösen.