Sample queries in Relational Calculus