Скачать или смотреть Rekursion, Prädikatenlogik und Datalog

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