Horizontal partitioning with PL/Proxy