From this chapter onward we’ll assume that you’re thoroughly familiar with all terminology introduced in Part 1 of this book. Only if we deem it necessary will we make explicit references back to where specific terminology was first introduced and defined.
We’ll start with an introduction of various interrelated terms that are used in this chapter and the other chapters of Part 2 that follow.
In Part 1 we hinted that a table can be considered a set of functions. In this chapter we’ll demonstrate this in detail. The section “Formal Specification of a Table” shows how you can formally represent a table. It also introduces a shorthand notation