On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.
Christoph BeierleAngi VoßPublished in: STACS (1987)
Keyphrases
- abstract data types
- data types
- denotational semantics
- programming language
- data abstraction
- relational database systems
- object oriented databases
- operational semantics
- high level
- database
- relational data model
- data model
- object oriented
- databases
- spatio temporal databases
- spatio temporal data
- query language
- relational databases
- data mining
- formal specification
- expressive power
- video sequences
- type checking