3.10.1 Abstract Data Model

See section 3.6.1.