Prädikatenlogische Formeln und (endliche) Interpretationen entsprechen Datenbankanfragen und Datenbankinstanzen. Aus dieser Beobachtung kann man einige Einsichten ableiten, zum Beispiel dass Anfragebeantwortung viel mit dem logischen Auswertungsproblem (Model Checking) zu tun hat. Letztere Beobachtung ist auch ein sinnvoller Ansatz zur Untersuchung der Komplexität dieser praktisch wichtigen Operation auf Datenbanken.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (21. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Prädikatenlogik und Datenbanken (1)
Пікірлер