search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
916 stars 207 forks source link

RamIndexAnalysis #1204

Closed b-scholz closed 3 years ago

b-scholz commented 4 years ago

The RamIndexAnalysis interface has collected some dust. Especially, the class MinIndexSelection needs some overhaul. There should be some distinction between the client RamIndexAnalysis and the Synthesiser/Interpreter when using the index orders only. One solution could be that RamIndexAnalysis is a friend of RamIndexAnalysis so that the whole interface is hidden.

b-scholz commented 4 years ago

If totalSignature method is too slow, add a cache that keeps previously queried existence checks that have a total signature (or not).

SamArch27 commented 3 years ago

Can we close this issue?

I think it's solved by the recent refactoring PRs: #1781 #1785 #1797

b-scholz commented 3 years ago

Yes, please!