Magic-Sets Transformation für Datalog in Rust

Brezski, Shay Airin Lilith

dc.contributor.advisor	Elberfeld, Michael
dc.contributor.advisor	Renz, Burkhardt
dc.contributor.author	Brezski, Shay Airin Lilith
dc.date.accessioned	2025-10-14T13:14:25Z
dc.date.available	2025-10-14T13:14:25Z
dc.date.issued	2025
dc.identifier.uri	https://publikationsserver.thm.de/xmlui/handle/123456789/463
dc.description.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.	de
dc.format.extent	III, 49 S.	de
dc.language.iso	de	de
dc.publisher	Technische Hochschule Mittelhessen; Gießen	de
dc.rights.uri	https://creativecommons.org/licenses/by-nc-sa/4.0/	de
dc.subject	Datalog	de
dc.subject	Magic-Sets Transformation	de
dc.subject	Rust	de
dc.subject	Logische Programmierung	de
dc.title	Magic-Sets Transformation für Datalog in Rust	de
dc.type	Abschlussarbeit (Bachelor)	de
dcterms.accessRights	open access	de

Dateien zu dieser Ressource

Name:: Bachelorarbeit_Brezski_Shay_Ai ...
Größe:: 528.5Kb
Format:: PDF

Öffnen

Das Dokument erscheint in:

Mathematik, Naturwissenschaften und Informatik (MNI) [22]

Zur Kurzanzeige

Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden:
Namensnennung-NichtKommerziel-Weitergabe unter gleichen Bedingungen 4.0 International