Foreword
Introduction
1 Scope
2 Conformance
    2.1 Direct conformance
    2.2 Indirect conformance
    2.3 Conformance of a mapping standard
3 Normative references
4 Definitions
5 Conventions Used in this International Standard
    5.1 Formal syntax
    5.2 Text conventions
6 Fundamental notions
    6.1 Datatype
    6.2 Value space
    6.3 Datatype properties
          6.3.1 Equality
          6.3.2 Order
          6.3.3 Bound
          6.3.4 Cardinality
          6.3.5 Exact and approximate
          6.3.6 Numeric
    6.4 Primitive and non-primitive datatypes
    6.5 Datatype declarations
    6.6 Characterizing operations
    6.7 Datatype families
    6.8 Aggregate datatypes
          6.8.1 Homogeneity
          6.8.2 Size
          6.8.3 Uniqueness
          6.8.4 (Aggregate-imposed) ordering
          6.8.5 Access method
          6.8.6 Recursive structure
7 Elements of the Datatype Specification Language
    7.1 IDN character-set
    7.2 Whitespace
    7.3 Lexical objects
    7.4 Annotations
    7.5 Values
          7.5.1 Independent values
          7.5.2 Dependent values
8 Datatypes
    8.1 Primitive datatypes
          8.1.1 Boolean
          8.1.2 State
          8.1.3 Enumerated
          8.1.4 Character
          8.1.5 Ordinal
          8.1.6 Date-And-Time
          8.1.7 Integer
          8.1.8 Rational
          8.1.9 Scaled
          8.1.10 Real
          8.1.11 Complex
          8.1.12 Void
    8.2 Subtypes and extended types
          8.2.1 Range
          8.2.2 Selecting
          8.2.3 Excluding
          8.2.4 Size
          8.2.5 Explicit subtypes
          8.2.6 Extended
    8.3 Generated datatypes
          8.3.1 Choice
          8.3.2 Pointer
          8.3.3 Procedure
    8.4 Aggregate Datatypes
          8.4.1 Record
          8.4.2 Set
          8.4.3 Bag
          8.4.4 Sequence
          8.4.5 Array
          8.4.6 Table
    8.5 Defined Datatypes
9 Declarations
    9.1 Type Declarations
          9.1.1 Renaming declarations
          9.1.2 New datatype declarations
          9.1.3 New generation
    9.2 Value declarations
    9.3 Termination Declaration
10 Defined Datatypes and Generators
    10.1 Defined datatypes
          10.1.1 Natural number
          10.1.2 Modulo
          10.1.3 Bit
          10.1.4 Bit string
          10.1.5 Character string
          10.1.6 Time interval
          10.1.7 Octet
          10.1.8 Octet string
          10.1.9 Private
          10.1.10 Object identifier
11 Mappings
    11.1 Outwards
    11.2 Inward Mappings
    11.3 Reverse Inward Mapping
    11.4 Support of Datatypes
          11.4.1 Support of equality
          11.4.2 Support of order
          11.4.3 Support of bounds
          11.4.4 Support of cardinality
          11.4.5 Support for the exact or approximate
                  property
          11.4.6 Support for the numeric property
Annex A. Character-Set Standards
Annex B. Recommended Placement of Annotations
Annex C. Implementation Notions of Datatypes
Annex D. Syntax for the common Interface Definition Notation
Annex E. Example Mapping to Pascal
Annex F. Example Mapping to MUMPS
Annex G. Resolved Issues