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;...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
AAAI Press
2015
|