Atomic Formulas - Tuple Relational Calculus | OneNoughtOne