1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
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…