Enhancing Datalog Reasoning with Hypertree Decompositions

Xinyue Zhang, Pan Hu, Yavor Nenov +1

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…