16 citations · 16 across the 9 of their papers we have counts for
1 paper · 1 filter
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray +2
Modern Datalog engines (e.g., LogicBlox, Soufflé, ddlog) enable their users to write declarative queries which compute recursive deductions over extensional facts, leaving high-per…