Tuple Relational Calculus
Tuple relational calculus (TRC) is a declarative query language: a query states the property that answer tuples must satisfy and says nothing about how to compute them.
Database Management Systems · topic
Tuple relational calculus
Tuple relational calculus: tuple variables, free and bound variables, existential and universal quantifiers, implication, safe expressions and domain independence, and translation to and from relational algebra and SQL, including division.
Study this topic
Tuple relational calculus cheat sheets
One-page visual sheets for this topic, in the sheet library on the store. Previews are free; the full sheets come with the subject pack.