Tuple Relational Calculus
Query has the form: { T | p(T)}
- Answer includes all tuples T that
make the formula p(T) be true.
- Formula is recursively defined, starting with
simple atomic formulas (getting tuples from
relations or making comparisons of values),
and building bigger and better formulas using