TY - RPRT TI - A Linear Algebraic Approach to Datalog Evaluation AU - Taisuke Sato PY - 2017 UR - https://arxiv.org/abs/1608.00139 ID - 1608.00139 ER -