Using relations on streams to solve the RPC-memory specification problem