Prädikatenlogik und Datenbanken (2)
Автор: Prof. Markus
Загружено: 2021-07-09
Просмотров: 373
Wir wollen noch zeigen, dass das Auswertungsproblem der Prädikatenlogik (und damit auch die Anfragebeantwortung in Datenbanken) PSpace-vollständig sind, was man leicht durch Reduktion von TrueQBF zeigen kann. Zum Schluss schauen wir noch einmal auf die Grenzen der Ausdrucksstärke von Prädikatenlogik als Anfragesprache.
► 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
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
