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?

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

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

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).