Entwicklung einer abstrakten Maschine für Push Bottom-Up Auswertung von Datalog
Projektleiter:
Projekthomepage:
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
Die Daten werden geladen ...
Kontakt

Prof. Dr. habil. Stefan Braß
Martin-Luther-Universität Halle-Wittenberg
Naturwissenschaftliche Fakultät III
Von-Seckendorff-Platz 1
06120
Halle (Saale)
Tel.:+49 345 5524740
weitere Projekte
Die Daten werden geladen ...