Denna artikel beskriver en metod för att omvandla en viss uppsättning datalogg regler till ett effektivt specialiserat genomförande med garanterad värsta fall tid och utrymme komplexitet, och för att beräkna komplexiteten från reglerna. Löptiden är optimal i den meningen att endast användbara kombinationer av fakta som leder till att alla hypoteser i en regel samtidigt är sanna beaktas, och varje sådan kombination betraktas exakt en gång i konstant tid. Den tillhörande rymdanvändningen kan ibland minskas med hjälp av schemaläggningsoptimeringar för att eliminera vissa summander i formeln för rymdanvändning. Transformationen baseras på en allmän metod för algoritmkonstruktion som utnyttjar beräkning av fasta punkter, inkrementellt underhåll av invarianter och kombinationer av indexerade och länkade datastrukturer. Vi tillämpar metoden på ett antal analysproblem, några med förbättrad algoritmkomplexitet och alla med avsevärt förbättrad algoritmförståelse och avsevärt förenklad komplexitetsanalys.
Liu och Stoller REF beskriver en allmän metod för att omvandla dataloggregler till SESL-program.
From datalog rules to efficient programs with time and space guarantees
{'venue': 'TOPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}