Chapter 4: Tuple Relational Calculus