17.2. 2011 Nicole Schweikardt: Logik und Datenbanken - ein Überblick
Referentin:
Prof. Dr. Nicole Schweikardt
Goethe-Universitaet Frankfurt am Main, Institut für Informatik,
Arbeitsgruppe Theorie komplexer Systeme
Abstract:
Die theoretischen Grundlagen von modernen Datenbanksystemen beruhen zu einem wesentlichen Teil auf zahlreichen Verbindungen zur Logik. Eine relationale Datenbank ist aus Sicht der Logik eine Grundmenge mit mathematischen Relationen; eine SQL-Anfrage ist im Kern eine Formel der Logik erster Stufe. Aufgrund dieses Zusammenhangs ermöglichen Techniken aus dem Bereich der Logik es, präzise Aussagen über die Ausdrucksstärke und die Auswertungskomplexität von Datenbankanfragesprachen zu treffen. In meinem Vortrag möchte ich einen Überblick über die zahlreichen Verbindungen zwischen den Bereichen Logik und Datenbanken geben.