Relational Calculus vs. Predicate Calculus
Both flavors of R.C. are extensions of the predicate calculus
Can give formal definitions of terms, formulas, scoping and binding of variables, etc.
- can build a model theory with TRUE, FALSE
P.C. quantifiers like ?,? and operators like ? (not) can be used
- Care must be taken with ? and ?