Every subset of a tuple is a tuple.
2.4 The term domain is usually found in texts on relational theory, but it wasn't mentioned in the body of the
chapter. What do you make of this fact?
Define the terms proposition and predicate . Give examples.
State the predicates for relvars S, P, and SP from the suppliers-and-parts database.
2.7 Let DB be any database you happen to be familiar with and let R be any relvar in DB . What's the predicate
for R? Note: The point of this exercise is to get you to apply some of the ideas discussed in the body of this chapter
to your own data, in an attempt to get you thinking about data in general in such terms. Obviously the exercise has
no unique right answer.
2.8 Explain The Closed World Assumption in your own terms. Could there be such a thing as The Open World
Give definitions, as precise as you can make them, of the terms tuple and relation .
State as precisely as you can what it means for (a) two tuples to be equal; (b) two relations to be equal.
2.11 A tuple is a set (a set of components); so do you think it might make sense to define versions of the usual set
operators (union, intersection, etc.) that apply to tuples?
2.12 To repeat, a tuple is a set of components. But the empty set is a legitimate set; thus, we could define an
empty tuple to be a tuple where the pertinent set of components is empty. What are the implications? Can you think
of any uses for such a tuple?
2.13 A key is a set of attributes and the empty set is a legitimate set; thus, we could define an empty key to be a
key where the pertinent set of attributes is empty. What are the implications? Can you think of any uses for such a
2.14 A predicate has a set of parameters and the empty set is a legitimate set; thus, a predicate could have an
empty set of parameters. What are the implications?
2.15 The normalization discipline makes heavy use of the relational operators projection and join. Give
definitions, as precise as you can make them, of these two operators. Also, have a go at defining the attribute
renaming operator (RENAME in Tutorial D ).
The operators of the relational algebra form a closed system. What do you understand by this remark?