Entwicklung einer abstrakten Maschine für Push Bottom-Up Auswertung von Datalog

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.