Bernhard Scholz

Performance Bottlenecks

3

Issue #1887 contains a program that reveals a performance bottleneck at least in the semantic checker. Performance engineering needs to be applied so that larger Souffle programs compile quicker.

Cover Simple Min/Max with an Index

1

Aggregates of the format `y = min/max x: { A(z1, ..., zk-1, x, zk+1, ... zn)}` where the arguments `z1 ... zn` are arbitrary arguments (variables, constants, expressions, etc.) can...

Aggregates: wrong transformation

2

Aggregates in recursive rules are incorrectly transformed: ``` .decl point(x:number, y:number) .input point() .decl out(r:number, x:number) .output out out(0,0). out(r+1, z) :- r < 30, out(r,_), z = count :...

Currently, we have a string storing the type of an attribute of a RAM relation. We should introduce a new data-structure reflecting the type more precisely rather than an unstructured...

Performance / Tune rules with .plan

2

Great that you use Souffle in your project. I am the lead of the Souffle project and noticed that you haven't tuned your rules for performance. We have some documentation...