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...
| Main Authors: | , , , |
|---|---|
| 格式: | Conference item |
| 語言: | English |
| 出版: |
International Joint Conferences on Artificial Intelligence
2023
|