Hierarchical Specification of Abstract Data Types.

Helmut K. Berg Wolfgang K. Giloi

Published in: The Use of Formal Specification of Software (1979)

Keyphrases

abstract data types
data types
data abstraction
object oriented databases
programming language
relational database systems
high level
data model
database systems
spatial aggregation
databases
relational databases
data mining algorithms
object identity