Bernhard Scholz

These are performance bugs in Souffle without executing the code (parsing / checking / analysing etc.). We did not have seriously large codebases so far. We saw some issues in...

That is a problem with how Souffle is processing disjunctions. It expands the program rules to the following rules: ``` foo() :- bar(?c1, ?a1), bar(?c2, ?a2), ?a1 != ?a2. foo()...

This is related to issue #1289 and #1409.

This is related to some optimisations; scans can be optimised to existence checks, and it is hard to track the frequencies of existence checks.

That is an interesting point. I need to read up the behavior in languages such as C/C++, Fortran, etc. My take on it would be that it might be up...

We might want to have a MultiClause as well so that clauses ``` A(x), B(x) :- C(x). ``` are properly reflected in the AST.

Class RuleBody converts multi-heads, disjunction, and general negations to our current version of AST. This does not fit well into our current pipeline infrastructure. The class RuleBody should be replaced...

This is also related to issue #1337 and the way on how multi-head clauses, disjunction, and negation over-literal expressions are handled. Currently, the class `RuleBody` performs the translation from complex...

Many thanks for communicating your findings. That is great! Please, could you update the documentation accordingly? Just press the "edit" button and add your note to the documentation.

@julienhenry - there is a clash with your changes. Could you fix it?