Tuple Relational Calculus
The form of a TRC query, atoms, connectives and quantifiers, free and bound tuple variables; rewrite rules between the universal and existential quantifier and for implication; how each algebra operator, division included, is written in TRC; safety and domain independence; the pairing of the existential quantifier with conjunction and the universal one with implication, shown on an instance; and checked translations of two past GATE questions.