An extended interpreter of the relational calculus