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;...
| Principais autores: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado em: |
AAAI Press
2015
|