On the Structure of Game Provenance and its Applications

Shawn Bowers, Yilin Xia, Bertram Ludäscher

Provenance in databases has been thoroughly studied for positive and for recursive queries, then for first-order (FO) queries, i.e., having negation but no recursion. Query evaluat…