Extensions and Implementations of Abstract Data Type Specifications.
Hans-Dieter EhrichPublished in: MFCS (1978)
Keyphrases
- abstract data types
- data types
- denotational semantics
- efficient implementation
- data abstraction
- operational semantics
- relational database systems
- object oriented databases
- programming language
- type checking
- data model
- high level
- formal specification
- spatio temporal databases
- database
- relational databases
- spatio temporal data
- database systems
- relational data model
- data mining