The Algebraic Specification of Abstract Data Types.
John V. GuttagJames J. HorningPublished in: Acta Informatica (1978)
Keyphrases
- abstract data types
- data types
- data abstraction
- programming language
- object oriented databases
- relational database systems
- spatial aggregation
- high level
- data model
- algebraic operations
- object oriented
- user defined
- database
- formal specification
- database management systems
- object identity
- algebraic structure
- spatio temporal data
- data management
- knowledge representation
- databases