Fork me on GitHub
#datomic
<
2016-04-03
>
jetzajac18:04:39

hello everyone. I'm here with a question: is there way to subscribe to queries efficiently in datomic? Is it possible to determine if this query is affected by this novelty without executing it against whole db?

jetzajac18:04:51

maybe we could log index access for such query and check if it intersects with new datoms?

tomjack20:04:49

I suspect it's harder than that. It seems like a research problem to me, which gets harder the more of Datomic's datalog you want to support

tomjack20:04:03

E.g. you can find some papers by Dong from the 90's about "non-recursive incremental evaluation" for a subset of vanilla datalog. I guess we don't care about the "non-recursive" here, though (he wants something implementable in SQL).