Incremental update of datalog materialisation: the backward/forward algorithm
<p>Datalog-based systems often materialise all consequences of a datalog program and the data, allowing users' queries to be evaluated directly in the materialisation. This process, however, can be computationally intensive, so most systems update the materialisation incrementally when in...
| Автори: | , , , |
|---|---|
| Інші автори: | |
| Формат: | Conference item |
| Опубліковано: |
AAAI Press
2015
|