represents the relationship between an EntityType and the local uniqueness rules that constrain the values of attributes of that EntityType 

a GeneralizedType that is an abstraction of all AggregationTypes and GeneralAggregationTypes. 

an AggregationType representing all EXPRESS ARRAY data types. 

an AnonymousType representing an EXPRESS "aggregation type", whose instances are collections of instances of a "member type": ARRAY, BAG, LIST, SET. 

represents any InstantiableType that is not a NamedType. 

represents a bound on the index domain of an ARRAYT data type . 

represents an EXPRESS attribute, i.e. 

an AggregationType representing all EXPRESS BAG data types 

a SimpleType representing all EXPRESS BINARY data types, which are distinguished by different LengthConstraints. 

represents any InstantiableType that is not an EntityType 

an ExpressionType that represents all the data type notions that can be declared for objects and properties in EXPRESS. 

a NamedType representing an EXPRESS defined data type, a type declared by a type_declaration. 

represents an EXPRESS DERIVE attribute = a property whose value can be determined from other attributes and relationships of the entity instance. 

represents an EXPRESS domain rule for an entity data type = a Boolean expression that constrains the values of one or more attributes of the entity data type. 

a NamedType representing an EXPRESS entity data type, a type declared by an entity_declaration. 

a DefinedType representing an EXPRESS defined data type whose underlying_type is a ENUMERATION data type. 

represents an EXPRESS "explicit" attribute, a model of a property of an entity instance that is not, in general, derived from other properties of that instance or other entity instances. 

represents a conformance specification for ARRAY data types 

represents a GeneralizedType that is specific as to the required structure, but provides only a conformance specification for the member-type. 

represents a conformance specification for BAG data types. 

represents a conformance specification for LIST data types. 

represents a conformance specification for SET data types. 

an abstract classifier, representing those "data-type-like" descriptors that are really conformance rules for possible InstantiableTypes. 

represents the EXPRESS generalized types GENERIC and GENERIC_ENTITY, and they are the only instances. 

an abstract classifier, encompassing all the data type notions that characterize objects and properties in EXPRESS. 

represents an EXPRESS INVERSE attribute = a property of each instance of this entity data type that represents a relationship between them and instances of some other entity data type, where the relationship is modeled as an attribute of the other entity data type. 

an AggregationType representing all EXPRESS LIST data types 

a SimpleType representing the EXPRESS data types BOOLEAN and LOGICAL, which are the only instances of LOGICALType. 

represents any maximum-length or fixed-length constraint on a STRING or BINARY type that appears in its syntactic designation. 

a SimpleType representing the EXPRESS data types NUMBER, INTEGER and all REAL data types. 

a SchemaElement that defines a new InstantiableType. 

a-DataType representing a collection of SingleEntityTypes. 

represents all EXPRESS REAL data types, which are distinguished from one another by different values of "precision". 

represents the "redeclaration" of an EXPRESS attribute in a subtype of the entity data type for which that attribute was originally declared. 

an AggregationType representing all EXPRESS SET data types. 

a SimpleType representing all EXPRESS STRING data types, which are distinguished by different LengthConstraints. 

a DefinedType representing an EXPRESS defined data type whose underlying_type is a SELECT data type. 

an AnonymousType representing those EXPRESS data types defined in the language as "simple types": BINARY types, BOOLEAN, INTEGER, LOGICAL, NUMBER, REAL types, and STRING types. 

the group of Attributes of a given EntityType that appear directly in the entity_declaration for that EntityType, i.e. 

represents any constraint on the number of members in each value of an EXPRESS aggregation type that appears in the syntactic designation for the type. 

A model element whose namespace is a data type (NamedType). 

an identifier whose scope is the EntityType corresponding to the entity declaration in which it is declared 

represents an EXPRESS UNIQUE rule = a requirement that the combination of values of the specified "key" attributes be unique over all instances of the entity data type in a given Population.