Abstract
In this paper we introduce a relational algebra extended with a calculate operator
and derive, for expressions in the corresponding language PCSJL, a
normalisation procedure. PCSJL plays a role in the implementation of the
Rule Language RL; the normalisation is to be used for query optimisation.