New posts in Relational Calculus