A division query in Relational Calculus