👩💻 Join our community of thousands of amazing developers!
The paper Towards Elastic Incrementalization for Datalog has been published in PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. The paper describes a framework for elastic incremental Datalog evaluation, allowing for the result of a Datalog program to be updated given changes to the input. Note that this work is not yet available in the main branch of Soufflé. Abstract Various incremental evaluation strategies for Datalog have been developed that re...