Tuple Relational Calculus (TRC) is a non-procedural query language used in relational databases to express queries in terms of the desired result set without stating the actual procedure or steps required to get that result. Rather than providing a sequence of actions, as in procedural or imperative languages, TRC focuses on specifying the desired tuples to be included in the outcome.