⁶In Section 7.4.7, we shall introduce the notion of parameterized views, a more convenient way of defining this kind of structures.