A Linear Algebraic Approach to Datalog Evaluation
What you always wanted to know about Datalog (and never dared to ask