Relational Algorithms for Multi-Bulk-Synchronous Processors