« Projekte
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
Entwicklung einer abstrakten Maschine für Push Bottom-Up Auswertung von Datalog
Finanzierung:
Haushalt;
Datalog ist eine sehr reine und einfache Teilmenge der logischen programmiersprache Prolog. Es wurde ursprünglich für deduktive Datenbanken entwickelt, wird jetzt aber z.B. auch zur Programmierung der statischen Analyse eines Java-Compilers eingesetzt. Ziel des Projekts ist es, basierend auf der Push-Methode zur Bottom-Up Auswertung von Datalog eine deutliche Leistungssteigerung bei der Programm- bzw. Anfrage-Ausführung zu erreichen. Dafür wurde in der Arbeitsgruppe eine abstrakte Maschine entwickelt, deren effiziente Implementierung ein Ziel der derzeitigen Arbeit ist. Daneben wird an der weiteren Optimierung des Maschinenmodells gearbeitet.

Publikationen

2018
Die Daten werden geladen ...
Kontakt

weitere Projekte

Die Daten werden geladen ...