2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Pan Hu, Boris Motik, Ian Horrocks
To efficiently answer queries, datalog systems often materialise all consequences of a datalog program, so the materialisation must be updated whenever the input facts change. Seve…