Logical Aspects of Massively Parallel and Distributed Systems
Map-reduce extensions and recursive queries