Rekursion, Prädikatenlogik und Datalog
Автор: Prof. Markus
Загружено: 2021-07-12
Просмотров: 600
Rekursion ist ein wichtiges Feature in Abfragesprachen moderner Datenbanken, das aber in Prädikatenlogik nicht ausgedrückt werden kann. Oder geht das nicht vielleicht doch? Die Diskussion dieser Frage führt uns den Unterschied zwischen Auwertungsproblem (Model Checking) und logischen Schließen (Entailment) noch einmal vor Augen. Am Ende definieren wir Datalog, und zwar zunächst als Fragment der Prädikatenlogik erster Stufe.
► Playliste für diesen Videokurs: • Theoretische Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (22.. 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
-
Информация по загрузке:
