Load balancing and query optimization in dataflow parallel evaluation of Datalog programs | Publicación