Combining rewriting and incremental materialisation maintenance for datalog programs with equality
Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by replacing all equal constants with a single representative;...
| Päätekijät: | , , , |
|---|---|
| Aineistotyyppi: | Conference item |
| Julkaistu: |
AAAI Press
2015
|