Datalog-Programme lassen sich recht einfach direkt auswerten, indem man solange Regeln anwendet, bis keine neuen Fakten mehr abgeleitet werden können. Diese Idee liefert einen ersten (wenn auch unoptimierten) Algorithmus, den man als eine Variante der prädikatenlogischen Resolution auffassen kann. Die so ermittelten Schlüsse kann man sich auch gut mit Hilfe von Ableitungsbäumen veranschaulichen, was tatsächlich etwas mit den Ableitungsbäumen kontextfreier Grammatiken zu tun hat. Außerdem kann selbst der einfache Ableitungsalgorithmus uns bereits helfen, die Komplexität des logischen Schließens in Datalog abzuschätzen.
► 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
Негізгі бет Auswertung von Datalog
Пікірлер