[iris-reasoner-support] Are there more advanced IRelation implementations?

[Martin B. <mar...@gm...>]

Hi all,

I started using IRIS because it's very user-friendly and supports a
lot of datatypes. The educational value of IRIS is definitely great.

I have been running very small experiments until now, but in the long
run my Datalog programs need to scale to relations with millions of
tuples. I do not exactly expect IRIS to handle that, but I was hoping
that I could at least keep using IRIS for medium-size problems with
relations of a few 100k and compare the results to the results of
other Datalog engines.

Unfortunately my medium-sized tests, with 200k to 600k input facts all
result in out of memory errors for Datalog programs that are not
entirely trivial (i.e. involving a few joins). I've set the Java heap
size to 2048m. The biggest issues seems to be the SimpleRelation.
Java's stack trace usually shows an out of memory error while copying
arrays as a result of operations on SimpleRelation.

So, I'm  wondering, do you have any other implementations around for
IRelation that you haven't included in IRIS? Maybe backed up by a
database?

Do you have any general advice for reducing the memory consumption?

Maybe you could also say something about the scale you want to support
with IRIS?

Thanks!

Cheers,
-- 
Martin Bravenboer
---------------------------------------------------------------------
Department of Computer and Information Science
University of Oregon