Enhancing datalog reasoning with hypertree decompositions
Datalog reasoning based on the seminaïve evaluation strategy evaluates rules using traditional join plans, which often leads to redundancy and inefficiency in practice, especially when the rules are complex. Hypertree decompositions help identify efficient query plans and reduce similar redundancy i...
| Главные авторы: | , , , |
|---|---|
| Формат: | Conference item |
| Язык: | English |
| Опубликовано: |
International Joint Conferences on Artificial Intelligence
2023
|