Finite Result Guarantee - Safe Queries in Relational Calculus | OneNoughtOne