10, "SQL and Logic," shows that there is an alternative to the relational algebra called the relational calculus. This means that queries, constraints, and view definitions can be formulated in ...