A relational data processor