Extended Semantics for the Relational Model (Introduction to Section 5)