Datalog Rewritings of Regular Path Queries using Views (Logical Methods in Computer Science, 2015)