Index | Instant | Tuples | Truth-Values | Numbers | Characters | Lists | Strings | Syntax | Sets | Maps


Data Notation


  • The algebraic specification of data notation given here is definitive. The occasional informal comment is inserted in the formal specification where appropriate.

  • The specification is divided into nested modules. The order of presentation of the modules is such that earlier modules do not often refer to later ones. In fact the submodules could be presented in a strictly bottom-up manner, but this would make n avigation more difficult.

  • Reference to the module Data Notation/General includes all the specified modules except for the submodule Characters/ASCII, thus allowing specialization to alternative character sets. It also omits the Instant submodules, which are intended for use with the symbols translated to some specified sort. 
    
General	 includes:Tuples, Truth-Values, Numbers, Characters/Alphanumerics,
		    Lists, Strings, Trees, Sets, Maps.

Instant

      Distinction       includes:	Truth-Values.
      Partial Order   includes:	Distinction.
      Total Order     includes:	Partial Order.

Tuples

      Generics
      Basics	      includes:	Generics, Numbers/Naturals/Basics.
      Specifics       includes:	Basics, Numbers/Naturals/Specifics.

Truth-Values

      Basics
      Specifics       includes:	Basics.

Numbers

      Naturals
	  Basics       .
  	  Specifics   includes:	Basics.


      Integes
	  Basics        includes:	Naturals/Basics.
	  Specifics    includes:	Basics, Naturals.


      Rationals
	  Basics	includes: Integers.	
	  Specifics   	includes: Basics.


      Approximations
	  Basics	includes: Rationals.
	  Specifics   	includes: Generics.


Characters

      Basics	    .
      Alphanumerics     includes:	Basics.
      ASCII	     	     includes: Alphanumerics.

Lists

      Flat
	  Generics    .
    	  Basics      includes:	Generics.
	  Specifics   includes:	Basics.

      Nested
	  Generics    includes:		Flat/Generics.
	  Basics        includes:	Generics, Flat/Basics.
    	  Specifics    includes:	Basics, Flat/Specifics.

Strings

      Basics	    		includes:	Characrters/Basics.
      Alphanumerics      includes:	Basics, Characters/Alphanumerics.

Syntax

      Basics	    includes:	Strings.
      Specifics	    includes:	Basics.

Sets

      Generics
      Basics	    includes:	Generics.
      Specifics	    includes:	Basics.

Maps

      Generics	    includes:	Sets/Gererics.
      Basics	      includes:	Generics, Sets.
      Specifics	     includes:	Basics.


    WebAni | Ani | RAT | AG | Actions | People | Action Notation | Data Notation


    [Created by Jin Jin Yi and Ana Carla Santos. Last modified at 21 Dec 1997 by Jin Jing Yi]