26 citations · 30 across the 5 of their papers we have counts for
1 paper · 1 filter
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…