7 citations · 13 across the 7 of their papers we have counts for
Showing 2023 · cs.DBShow all
2 papers · 2 filters
cs.DB2023★ 1 cited
Optimised Storage for Datalog Reasoning
Xinyue Zhang, Pan Hu, Yavor Nenov +1
Materialisation facilitates Datalog reasoning by precomputing all consequences of the facts and the rules so that queries can be directly answered over the materialised facts. Howe…
cs.DB2023
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…