Structure of data and entities

Abstract

Axiomatic conventions; data signatures; predefined data sorts, operators, and predicates; disjointness of sets; undefined value; set-, list-, bag-, and record-valued sort expressions; algebraic specification of sort expressions; operations and predicates induced by the sort expressions; conversions and aggregation functions; algebraic specification of operations and predicates induced by sort expressions; user-defined aggregates; extended Entity-Relationship schemas; entity and relationship types; attributes; components; construction types; graphical representation; role names; comparison to other data models.