Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.

Christoph Beierle Angi Voß

Published in: ADT (1982)

Keyphrases

abstract data types
data types
relational database systems
data abstraction
programming language
high level
object oriented databases
knowledge discovery
user defined
relational databases
conceptual model
formal specification
spatial aggregation