Magic-Sets Transformation für Datalog in Rust

Abstract

Die Bachelorarbeit erfolgte im Forschungsprojekt »Optimierung für und in Datalog«. In diesem wird eine Engine für Datalog in der Programmiersprache Rust implementiert. Die Bachelorthesis erläutert die Grundlagen der Logik-Programmiersprache Datalog. Anschließend wird die Magic-Sets Transformation erklärt, die Datalog Programme in effizientere Programme umwandelt. Dafür wird das Programm ausgehend von der Abfrage umgeformt, sodass nur noch relevante Informationen berechnet werden. Abschließend wird auf die Implementierung der Engine, sowie der Magic-Sets Transformation eingegangen und ein Ausblick auf mögliche Erweiterungen gegeben.