Prädikatenlogik und Datenbanken (1)
Автор: Prof. Markus
Загружено: 2021-07-09
Просмотров: 560
Описание:
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 Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (21. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
