Specification and Testing of Abstract Data Types.

Published in: Comput. Lang. (1992)

Keyphrases

abstract data types
data types
data abstraction
object oriented databases
programming language
relational database systems
spatial aggregation
high level
data model
formal specification
relational databases
code generation
complex objects
normal form
database
similarity search
multi dimensional
databases