Evaluierung von Datalog über Semirings: Ein auf Grundierung basierter Ansatz

Wir präsentieren ein allgemeines Rahmenwerk zur Analyse der Datenkomplexität von Datalog-Programmen über natürlich geordneten Semirings. Unser Ansatz zerlegt die Auswertung in zwei Phasen: Zuerst wird das Programm in ein äquivalentes System von Polynomialgleichungen (Grundierung) umgewandelt, dann wird der kleinste Fixpunkt über dem Semiring berechnet. Wir zeigen, dass für zwei wichtige Klassen von Semirings - endlich-rangige und absorptive Semirings mit Totalordnung - effiziente Algorithmen für die Fixpunktberechnung existieren.