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 input d...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Association for the Advancement of Artificial Intelligence
2015
|
| Subjects: |