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 Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (22.. 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
Негізгі бет Rekursion, Prädikatenlogik und Datalog
Пікірлер